Fix missing-apostrophe contraction candidate selection - #573

Fix missing-apostrophe contraction candidate selection#573

AsafMah wants to merge 1 commit into

LeanBitLab:mainLeanBitLab/LeanType:mainfrom

AsafMah:asafmah-contraction-candidate-selectionAsafMah/LeanType:asafmah-contraction-candidate-selectionCopy head branch name to clipboard