From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Tue, 26 Nov 2002 11:48:52 +0000 (+0000)
Subject: debug output removed
X-Git-Tag: V_0_0_6~56
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=5a2cbbde3b9d995be4635df163b287635e39f5d7;p=helm.git

debug output removed
---

diff --git a/helm/ocaml/mathql/mQueryTLexer.mll b/helm/ocaml/mathql/mQueryTLexer.mll
index 5dbb3d1b9..60c561fb5 100644
--- a/helm/ocaml/mathql/mQueryTLexer.mll
+++ b/helm/ocaml/mathql/mQueryTLexer.mll
@@ -36,7 +36,7 @@
 { 
    open MQueryTParser
    
-   let debug = true
+   let debug = false
    
    let out s = if debug then prerr_endline s
 }
@@ -53,7 +53,7 @@ rule comm_token = parse
 and string_token = parse
    | '"'         { DQ  }
    | '\\' _      { STR (String.sub (Lexing.lexeme lexbuf) 1 1) }
-   | QSTR        { prerr_endline "STR"; STR (Lexing.lexeme lexbuf) }
+   | QSTR        { STR (Lexing.lexeme lexbuf) }
    | eof         { EOF }
 and query_token = parse
    | "(*"        { comm_token lexbuf }