parser: Fix longstanding bug where "()" was required after CLI targets.

[goals.git] / src / lexer.mll

diff --git a/src/lexer.mll b/src/lexer.mll
index 6afa40c..2b6c4e8 100644 (file)
--- a/src/lexer.mll
+++ b/src/lexer.mll
@@ -57,6 +57,7 @@ rule read =
               { TACTIC_KEYWORD }
     | "function"
               { FUNCTION }
+    | "pure"  { PURE }
     | "let"   { LET }
     | "include"
               { INCLUDE }