patched

diff --git a/helm/mathql_test/mqgtop.ml b/helm/mathql_test/mqgtop.ml
index d13ab253842c66fa87eef8d88130159e1f268ad4..b65c805579b0be6541db255084c2604eb67aa0d0 100644 (file)
--- 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 88c66ac8ed5d478cbb22789dc0f8f36653179f50..261feac7be1a5b027f58d4fb26dc8ebca5e13339 100644 (file)
--- 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