From fdfbb9a4353e216c384fe3fe0c19a2c201d700af Mon Sep 17 00:00:00 2001 From: Sebastian Ullrich Date: Mon, 3 Feb 2020 16:37:02 +0100 Subject: [PATCH] chore: lean4-mode: remove '.' from symbol table --- lean4-mode/lean4-syntax.el | 1 - 1 file changed, 1 deletion(-) diff --git a/lean4-mode/lean4-syntax.el b/lean4-mode/lean4-syntax.el index a620a1dbdb..57c900519e 100644 --- a/lean4-mode/lean4-syntax.el +++ b/lean4-mode/lean4-syntax.el @@ -106,7 +106,6 @@ ?⅋ ?⅌ ?⅍ ?ⅎ ?⅏)) (modify-syntax-entry ?' "w" st) (modify-syntax-entry ?_ "w" st) - (modify-syntax-entry ?\. "w" st) ;; Lean operator chars (mapc #'(lambda (ch) (modify-syntax-entry ch "_" st))