X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2FmQueryInterpreter.mli;h=9d7081fffedf8b3fcfc6a6c905eb63091ff2eb86;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=4400c45dda52fb8ba1ecc2b8d1e36b14cb6fedb0;hpb=03dee221bd1f2c9a6e7f74d9abf88be14aac7763;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/mQueryInterpreter.mli b/helm/ocaml/mathql_interpreter/mQueryInterpreter.mli
index 4400c45dd..9d7081fff 100644
--- 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