X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Fwhelp%2Fwhelp.mli;h=80c4d6522ada79b955ac310e80a02b8603b103ea;hb=5717dca7637e00f6f82e462619ee0e07d99cf289;hp=9ff03ea2081dfcfecfe976135b4989690ceb5791;hpb=7f2444c2670cadafddd8785b687ef312158376b0;p=helm.git

diff --git a/components/whelp/whelp.mli b/components/whelp/whelp.mli
index 9ff03ea20..80c4d6522 100644
--- a/components/whelp/whelp.mli
+++ b/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