maxipatch for support of multiple DBs.

[helm.git] / components / whelp / fwdQueries.ml

diff --git a/components/whelp/fwdQueries.ml b/components/whelp/fwdQueries.ml
index 67cc469414d216d93249940f8cf2f71dcf5bd738..5453c544e5202f010faa923d0e0d18905cbfdf04 100644 (file)
--- a/components/whelp/fwdQueries.ml
+++ b/components/whelp/fwdQueries.ml
@@ -89,9 +89,9 @@ let fwd_simpl ~dbd t =
         let from = "genLemma" in
         let where =
           Printf.sprintf "h_outer = \"%s\""
-           (HSql.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 = HSql.exec dbd query 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
@@ -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 = HSql.map ~f:map (HSql.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