X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitaDisambiguator.mli;h=8397e4dbff59017056ab2dbb92fa43a1669c7daa;hb=56415e42c04f40e9c8f7cfc59a3a3d87c3d373f7;hp=ce89b6e084351631aaf92e2d739de7ad3bd31f07;hpb=07dde6f87105c18b28fc784b7d596a5d242e1225;p=helm.git

diff --git a/helm/matita/matitaDisambiguator.mli b/helm/matita/matitaDisambiguator.mli
index ce89b6e08..8397e4dbf 100644
--- a/helm/matita/matitaDisambiguator.mli
+++ b/helm/matita/matitaDisambiguator.mli
@@ -23,10 +23,7 @@
  * http://helm.cs.unibo.it/
  *)
 
-class parserr: unit ->
-  object
-    inherit MatitaTypes.parserr
-  end
+class parserr: unit -> MatitaTypes.parserr
 
 class disambiguator:
   parserr:MatitaTypes.parserr -> (** parser *)
@@ -34,7 +31,5 @@ class disambiguator:
   chooseUris:MatitaTypes.choose_uris_callback ->
   chooseInterp:MatitaTypes.choose_interp_callback ->
     unit ->
-      object
-        inherit MatitaTypes.disambiguator
-      end
+      MatitaTypes.disambiguator