snapshot, notably:

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

diff --git a/helm/matita/matitaInterpreter.mli b/helm/matita/matitaInterpreter.mli
index 2b0ad56da8a20f898b503d83e05f391846804b18..a6da315ba86a3b543223e559bfa63d56b00dad01 100644 (file)
--- 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 ->