X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql%2FmQueryTLexer.mll;h=6f4fab954e43e38e04d4718ab980dfea6add95ee;hb=34815093cd80a179ff41b238ab7f394fbea6c2e0;hp=a0884e79dd21a7a6ec2f23da7380875a6639d4d6;hpb=ba824e867afc3eaf081ed1a1d6526d421242a6a0;p=helm.git

diff --git a/helm/ocaml/mathql/mQueryTLexer.mll b/helm/ocaml/mathql/mQueryTLexer.mll
index a0884e79d..6f4fab954 100644
--- a/helm/ocaml/mathql/mQueryTLexer.mll
+++ b/helm/ocaml/mathql/mQueryTLexer.mll
@@ -76,6 +76,7 @@ and query_token = parse
    | "fun"       { FUN    }
    | "in"        { IN     }
    | "intersect" { INTER  }
+   | "inverse"   { INV    }
    | "let"       { LET    }
    | "meet"      { MEET   }
    | "not"       { NOT    }