# HG changeset patch
# User wenzelm
# Date 1543167910 -3600
# Node ID f87fdd8d2bafbfd176f70f26f851bb6aae8222f8
# Parent  395c4fb15ea2ce374bd78969316df1d5edbee35b
tuned spelling;

diff -r 395c4fb15ea2 -r f87fdd8d2baf src/Pure/Syntax/lexicon.ML
--- a/src/Pure/Syntax/lexicon.ML	Sat Nov 24 18:56:44 2018 +0100
+++ b/src/Pure/Syntax/lexicon.ML	Sun Nov 25 18:45:10 2018 +0100
@@ -74,7 +74,7 @@
 structure Lexicon: LEXICON =
 struct
 
-(** syntaxtic terms **)
+(** syntactic terms **)
 
 structure Syntax =
 struct