X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fwhelp%2FfwdQueries.ml;h=5453c544e5202f010faa923d0e0d18905cbfdf04;hb=4573f1fecaf83f4706f39702555d5319d132477b;hp=5387d3aeb170f21b866b778e0dc3d997fc7e8285;hpb=137a822662f81efbbeac7ddc833fc9ffe252a70e;p=helm.git

diff --git a/helm/software/components/whelp/fwdQueries.ml b/helm/software/components/whelp/fwdQueries.ml
index 5387d3aeb..5453c544e 100644
--- a/helm/software/components/whelp/fwdQueries.ml
+++ b/helm/software/components/whelp/fwdQueries.ml
@@ -89,10 +89,10 @@ let fwd_simpl ~dbd t =
 	 let from = "genLemma" in
 	 let where =
           Printf.sprintf "h_outer = \"%s\""
-           (HMysql.escape (UriManager.string_of_uri outer)) in
+           (HSql.escape HSql.Library dbd (UriManager.string_of_uri outer)) in
          let query = Printf.sprintf "SELECT %s FROM %s WHERE %s" select from where in
-	 let result = HMysql.exec dbd query in
-         let lemmas = HMysql.map ~f:(map inners) result in
+	 let result = HSql.exec HSql.Library dbd query in
+         let lemmas = HSql.map ~f:(map inners) result in
 	 let ranked = List.fold_left rank [] lemmas in
 	 let ordered = List.rev (List.fast_sort compare ranked) in
          filter_map_n filter 0 ordered
@@ -111,5 +111,5 @@ let decomposables ~dbd =
    in
    let select, from = "source", "decomposables" in
    let query = Printf.sprintf "SELECT %s FROM %s" select from in
-   let decomposables = HMysql.map ~f:map (HMysql.exec dbd query) in
+   let decomposables = HSql.map ~f:map (HSql.exec HSql.Library dbd query) in
    filter_map_n (fun _ x -> x) 0 decomposables