--- 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