From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Wed, 17 Dec 2003 18:36:03 +0000 (+0000)
Subject: patched
X-Git-Tag: V_0_5_1_3~53
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=441eb2fd931ca065f4548661e5b37a3d3c008889;p=helm.git

patched
---

diff --git a/helm/mathql_test/mqgtop.ml b/helm/mathql_test/mqgtop.ml
index d13ab2538..b65c80557 100644
--- a/helm/mathql_test/mqgtop.ml
+++ b/helm/mathql_test/mqgtop.ml
@@ -325,8 +325,8 @@ let rec parse = function
 
 let _ =
    let t = U.start_time () in
-   Logger.log_callback :=
-      (Logger.log_to_html 
+   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));
diff --git a/helm/ocaml/mathql_interpreter/Makefile b/helm/ocaml/mathql_interpreter/Makefile
index 88c66ac8e..261feac7b 100644
--- a/helm/ocaml/mathql_interpreter/Makefile
+++ b/helm/ocaml/mathql_interpreter/Makefile
@@ -1,3 +1,4 @@
+
 PACKAGE = mathql_interpreter
 REQUIRES = helm-urimanager helm-mathql postgres
 #natile-galax