mathql interpreter flags can be now red from helm registry

[helm.git] / helm / mathql_test / mqgtop.ml

diff --git a/helm/mathql_test/mqgtop.ml b/helm/mathql_test/mqgtop.ml
index cc40f33691c029fff2f2c77725c566238b6d6984..7f8e2b85bb8d0bd6a7229741acfb2b22b5fd8543 100644 (file)
--- a/helm/mathql_test/mqgtop.ml
+++ b/helm/mathql_test/mqgtop.ml
@@ -52,7 +52,7 @@ module C1 = CGMatchConclusion
 module GU = MQGUtil
 
 let get_handle () = 
-   C.init (C.flags_of_string ! int_options)
+   C.init ~flags:(C.flags_of_string ! int_options)
           (fun s -> print_string s; flush stdout) 
              
 let issue handle q =