added alternative implementation for hMysql relying

[helm.git] / helm / software / components / whelp / whelp.mli

diff --git a/helm/software/components/whelp/whelp.mli b/helm/software/components/whelp/whelp.mli
index 9ff03ea2081dfcfecfe976135b4989690ceb5791..80c4d6522ada79b955ac310e80a02b8603b103ea 100644 (file)
--- a/helm/software/components/whelp/whelp.mli
+++ b/helm/software/components/whelp/whelp.mli
@@ -23,8 +23,8 @@
  * http://helm.cs.unibo.it/
  *)
 
-val locate: dbd:HMysql.dbd -> ?vars:bool -> string -> UriManager.uri list
-val elim: dbd:HMysql.dbd -> UriManager.uri -> UriManager.uri list
-val instance: dbd:HMysql.dbd -> Cic.term -> UriManager.uri list
-val match_term: dbd:HMysql.dbd -> Cic.term -> UriManager.uri list
+val locate: dbd:HSql.dbd -> ?vars:bool -> string -> UriManager.uri list
+val elim: dbd:HSql.dbd -> UriManager.uri -> UriManager.uri list
+val instance: dbd:HSql.dbd -> Cic.term -> UriManager.uri list
+val match_term: dbd:HSql.dbd -> Cic.term -> UriManager.uri list