bumped changelog line to match upload date

[helm.git] / helm / matita / matitaDisambiguator.mli

diff --git a/helm/matita/matitaDisambiguator.mli b/helm/matita/matitaDisambiguator.mli
index ce89b6e084351631aaf92e2d739de7ad3bd31f07..5b7bbc8808ff05ffe739b2f8bc48c9996f8a2940 100644 (file)
--- a/helm/matita/matitaDisambiguator.mli
+++ b/helm/matita/matitaDisambiguator.mli
@@ -23,18 +23,13 @@
  * http://helm.cs.unibo.it/
  *)
 
-class parserr: unit ->
-  object
-    inherit MatitaTypes.parserr
-  end
+class parserr: unit -> MatitaTypes.parserr
 
 class disambiguator:
   parserr:MatitaTypes.parserr -> (** parser *)
-  mqiconn:MQIConn.handle -> (** mathql database connection *)
+  dbd:Mysql.dbd ->
   chooseUris:MatitaTypes.choose_uris_callback ->
   chooseInterp:MatitaTypes.choose_interp_callback ->
     unit ->
-      object
-        inherit MatitaTypes.disambiguator
-      end
+      MatitaTypes.disambiguator