X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=src%2Flexer.mll;h=2b6c4e8020f9afa321d21e8b290ac746e73c0614;hb=d3356e11d92f09a2bcb9ba145594cf4b0531328f;hp=6afa40c051c89e225e3fd193d32b6fd212d0512d;hpb=deb7edaccefe379139818e8b241844b9a0571651;p=goals.git

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