]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql_interpreter/mQueryTLexer.mll
ocaml 3.09 transition
[helm.git] / helm / ocaml / mathql_interpreter / mQueryTLexer.mll
index abccb46264d2053927ded64beec8bb60169eefd5..ca51751f09a7ac9f50d340da4adce6d683823a30 100644 (file)
@@ -123,6 +123,7 @@ and result_token = parse
    | SPC         { result_token lexbuf }
    | "(*"        { comm_token lexbuf; result_token lexbuf }
    | '"'         { STR (qstr string_token lexbuf) }
+   | '/'         { out "SL"; SL }
    | '{'         { LC }
    | '}'         { RC }
    | ','         { CM }