X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;ds=sidebyside;f=src%2Flexer.mll;h=617c10fe6f45aa372eef945ddfc80c8cc29fccd8;hb=6afdc65fcdb592dccb751849f65b1f482ef97cd6;hp=273b09dbf5f959021e21848e3cfd66e50b4743ea;hpb=315ceff80b09b76959a067fa2f3288f22d2e55da;p=goals.git

diff --git a/src/lexer.mll b/src/lexer.mll
index 273b09d..617c10f 100644
--- a/src/lexer.mll
+++ b/src/lexer.mll
@@ -53,6 +53,7 @@ rule read =
     | "goal"  { GOAL }
     | "tactic" { TACTIC_KEYWORD }
     | "let"   { LET }
+    | "include" { INCLUDE }
     | "*" id  { (* NB: The initial '*' is part of the name. *)
                 TACTIC (Lexing.lexeme lexbuf) }
     | id      { ID (Lexing.lexeme lexbuf) }