]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql_interpreter/mQueryTLexer.mll
patched and new Gen constructor added
[helm.git] / helm / ocaml / mathql_interpreter / mQueryTLexer.mll
index 00fc9dc68701bc58cdea3250d362b8596d230dbd..d5f2fe10f8316c5d1ff3489d7f780255e30c5d1d 100644 (file)
@@ -92,6 +92,7 @@ and query_token = parse
    | "false"     { out "FALSE" ; FALSE  }
    | "for"       { out "FOR"   ; FOR    }
    | "from"      { out "FROM"  ; FROM   }
+   | "gen"       { out "GEN"   ; GEN    }
    | "if"        { out "IF"    ; IF     }
    | "in"        { out "IN"    ; IN     }
    | "inf"       { out "INF"   ; INF    }