changeset 58933 | 6585e59aee3e |
parent 56278 | 2576d3a40ed6 |
child 59108 | 50ccc027e8a7 |
--- a/src/Pure/ML/ml_lex.scala Fri Nov 07 17:43:50 2014 +0100 +++ b/src/Pure/ML/ml_lex.scala Fri Nov 07 19:47:05 2014 +0100 @@ -26,8 +26,8 @@ "with", "withtype") val keywords2: Set[String] = - Set("case", "do", "else", "end", "if", "in", "let", "local", "of", - "sig", "struct", "then", "while", "with") + Set("and", "case", "do", "else", "end", "if", "in", "let", "local", + "of", "sig", "struct", "then", "while", "with") val keywords3: Set[String] = Set("handle", "open", "raise")