X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2Fpattern.ml;h=5dcb8a585dfee96099f4636396a42ce571851ee0;hb=39b9497090ee5cc501de1e3d9044d71fdc5cf1fb;hp=9809552a034c64d55373c3dfcd771157409b5b3c;hpb=44d9d4ba98b90e6f90d87cae787573e648592ba6;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/pattern.ml b/helm/ocaml/mathql_interpreter/pattern.ml
index 9809552a0..5dcb8a585 100644
--- a/helm/ocaml/mathql_interpreter/pattern.ml
+++ b/helm/ocaml/mathql_interpreter/pattern.ml
@@ -23,7 +23,6 @@
  * http://www.cs.unibo.it/helm/.
  *)
 
-open Dbconn;;
 open Utility;;
 
 let cat l1 l2 =
@@ -33,11 +32,11 @@ let cat l1 l2 =
         l1 @ l2
 ;;
 
-let rec pattern_ex l =
+let rec pattern_ex handle l =
   match l with
      [] -> []
    | s::tl -> let result = 
-             let c = pgc () in
+             let c = MQIConn.pgc handle in
              let quoted_s =
               Str.global_substitute (Str.regexp "'")
                (function _ -> "\\'") s in
@@ -49,6 +48,6 @@ let rec pattern_ex l =
              done*)
 
 	     in
-	     cat result (pattern_ex tl)
+	     cat result (pattern_ex handle tl)
 ;;