X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitaInterpreter.mli;h=a6da315ba86a3b543223e559bfa63d56b00dad01;hb=fdd8107cc53f5e862004aa5fcd48593ee5634234;hp=2b0ad56da8a20f898b503d83e05f391846804b18;hpb=7deafec4fd4b2eebf4d4061f21ee5c47bd15b062;p=helm.git

diff --git a/helm/matita/matitaInterpreter.mli b/helm/matita/matitaInterpreter.mli
index 2b0ad56da..a6da315ba 100644
--- a/helm/matita/matitaInterpreter.mli
+++ b/helm/matita/matitaInterpreter.mli
@@ -26,7 +26,6 @@
 exception Command_error of string
 
 val interpreter:
-  disambiguator:MatitaTypes.disambiguator ->
   console:#MatitaTypes.console ->
   ?mathViewer:MatitaTypes.mathViewer ->
   unit ->