ocaml 3.09 transition

[helm.git] / helm / ocaml / mathql_interpreter / mQueryInterpreter.mli

diff --git a/helm/ocaml/mathql_interpreter/mQueryInterpreter.mli b/helm/ocaml/mathql_interpreter/mQueryInterpreter.mli
index 4400c45dda52fb8ba1ecc2b8d1e36b14cb6fedb0..9d7081fffedf8b3fcfc6a6c905eb63091ff2eb86 100644 (file)
--- a/helm/ocaml/mathql_interpreter/mQueryInterpreter.mli
+++ b/helm/ocaml/mathql_interpreter/mQueryInterpreter.mli
@@ -23,31 +23,7 @@
  * http://cs.unibo.it/helm/.
  *)
 
-(******************************************************************************)
-(*                                                                            *)
-(*                               PROJECT HELM                                 *)
-(*                                                                            *)
-(*                     Ferruccio Guidi <fguidi@cs.unibo.it>                   *)
-(*                                 06/01/2003                                 *)
-(*                                                                            *)
-(*                                                                            *)
-(******************************************************************************)
-
-module type Callbacks = 
-   sig
-      val log : string -> unit (* logging function *)
-   end
+(*  AUTOR: Ferruccio Guidi <fguidi@cs.unibo.it>
+ *)
 
-module Make (C: Callbacks) :
-   sig
-      val postgres : string 
-      val galax    : string
-      val stat     : string
-      val quiet    : string
-      val warn     : string
-      
-      val execute  : string -> MathQL.query -> MathQL.result
-      val init     : string -> bool
-      val close    : string -> unit
-      val check    : string -> bool
-   end
+val execute : MQIConn.handle -> MathQL.query -> MathQL.result