X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fwhelp%2Fwhelp.mli;h=80c4d6522ada79b955ac310e80a02b8603b103ea;hb=5d0d8107649b9264ebe7d8ff2c69bf777179b0d2;hp=9ff03ea2081dfcfecfe976135b4989690ceb5791;hpb=55b82bd235d82ff7f0a40d980effe1efde1f5073;p=helm.git

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