New module HMysql (to abstract over Mysql and make profiling easier).

[helm.git] / helm / ocaml / paramodulation / inference.ml

diff --git a/helm/ocaml/paramodulation/inference.ml b/helm/ocaml/paramodulation/inference.ml
index 4f1b43bdbeab378d7f05422f1806d108e390d19f..8118c369a2713f79c68d015c166b560461c191a8 100644 (file)
--- a/helm/ocaml/paramodulation/inference.ml
+++ b/helm/ocaml/paramodulation/inference.ml
@@ -1118,7 +1118,7 @@ let equations_blacklist =
     ]
       ;;
 
-let find_library_equalities ~(dbd:Mysql.dbd) context status maxmeta = 
+let find_library_equalities ~(dbd:HMysql.dbd) context status maxmeta = 
   let module C = Cic in
   let module S = CicSubstitution in
   let module T = CicTypeChecker in