src/Pure/Syntax/lexicon.ML
changeset 69344 f87fdd8d2baf
parent 69320 fc221fa79741
child 69891 def3ec9cdb7e
--- 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