X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2FmQueryTLexer.mll;h=ca51751f09a7ac9f50d340da4adce6d683823a30;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=abccb46264d2053927ded64beec8bb60169eefd5;hpb=68e62a195d6228befb75b4e2edd59bc58b1cdb0c;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/mQueryTLexer.mll b/helm/ocaml/mathql_interpreter/mQueryTLexer.mll
index abccb4626..ca51751f0 100644
--- a/helm/ocaml/mathql_interpreter/mQueryTLexer.mll
+++ b/helm/ocaml/mathql_interpreter/mQueryTLexer.mll
@@ -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 }