X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2Fmqint.ml;h=8aa07a36879bc5add524bff23822c9f9e2e38521;hb=9b23e4b3a2862c73d0b61c96cd68562dac3bf7f6;hp=56fa38ad928d0b9017ac58f0ebaad8b26d57f9f4;hpb=5a3c6e3eb8f8ed08152c43671ff21a04cbc57dac;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/mqint.ml b/helm/ocaml/mathql_interpreter/mqint.ml
index 56fa38ad9..8aa07a368 100644
--- a/helm/ocaml/mathql_interpreter/mqint.ml
+++ b/helm/ocaml/mathql_interpreter/mqint.ml
@@ -77,7 +77,7 @@ let rec execute_ex q =
    |  MQUse (alist, asvar) ->
        use_ex (execute_ex alist) asvar "backPointer"
    |  MQPattern (apreamble, apattern, afragid) ->
-       let _ = print_endline ("*********" ^ (fi_to_string afragid)); flush stdout in
+       (*let _ = print_endline ("*********" ^ apreamble ^ (fi_to_string afragid)); flush stdout in*)
        pattern_ex apreamble apattern afragid
    |  MQUnion (l1, l2) ->
        union_ex (execute_ex l1) (execute_ex l2)