From 33d4551ce09262e3a4d00d14e0428ee94367bf91 Mon Sep 17 00:00:00 2001
From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Fri, 13 Feb 2004 15:39:53 +0000
Subject: [PATCH] patched

---
 helm/mathql_test/Makefile  | 2 +-
 helm/mathql_test/mqgtop.ml | 2 ++
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/helm/mathql_test/Makefile b/helm/mathql_test/Makefile
index 04fea5185..086fadc28 100644
--- a/helm/mathql_test/Makefile
+++ b/helm/mathql_test/Makefile
@@ -2,7 +2,7 @@ BIN_DIR = /usr/local/bin
 REQUIRES = unix helm-cic_textual_parser \
 	   helm-mathql helm-mathql_interpreter helm-mathql_generator
 PREDICATES =
-OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)"
+OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)" -thread
 OCAMLC = ocamlfind ocamlc $(OCAMLOPTIONS)
 OCAMLOPT = ocamlfind ocamlopt $(OCAMLOPTIONS)
 OCAMLDEP = ocamldep
diff --git a/helm/mathql_test/mqgtop.ml b/helm/mathql_test/mqgtop.ml
index b65c80557..0b809b028 100644
--- a/helm/mathql_test/mqgtop.ml
+++ b/helm/mathql_test/mqgtop.ml
@@ -325,9 +325,11 @@ let rec parse = function
 
 let _ =
    let t = U.start_time () in
+(*
    CicLogger.log_callback :=
       (CicLogger.log_to_html 
        ~print_and_flush:(fun s -> print_string s; flush stdout)) ; 
+*)
    parse (List.tl (Array.to_list Sys.argv)); 
    prerr_endline ("mqgtop: done in " ^ (U.stop_time t));
    exit 0
-- 
2.39.2