X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitaDisambiguator.mli;h=7def4dc70b3035768112dcee72a6bb0c6e2bd243;hb=fdd8107cc53f5e862004aa5fcd48593ee5634234;hp=5b7bbc8808ff05ffe739b2f8bc48c9996f8a2940;hpb=afd3b379d4959e4a18c1f26f25e4a9c14997866f;p=helm.git

diff --git a/helm/matita/matitaDisambiguator.mli b/helm/matita/matitaDisambiguator.mli
index 5b7bbc880..7def4dc70 100644
--- a/helm/matita/matitaDisambiguator.mli
+++ b/helm/matita/matitaDisambiguator.mli
@@ -23,13 +23,12 @@
  * http://helm.cs.unibo.it/
  *)
 
-class parserr: unit -> MatitaTypes.parserr
+val parserr: unit -> MatitaTypes.parserr
+val disambiguator: unit -> MatitaTypes.disambiguator
 
-class disambiguator:
-  parserr:MatitaTypes.parserr -> (** parser *)
-  dbd:Mysql.dbd ->
-  chooseUris:MatitaTypes.choose_uris_callback ->
-  chooseInterp:MatitaTypes.choose_interp_callback ->
-    unit ->
-      MatitaTypes.disambiguator
+  (** singleton parser instance *)
+val parserr_instance: unit -> MatitaTypes.parserr
+
+  (** singleton disambiguator instance *)
+val instance: unit -> MatitaTypes.disambiguator