1. matitaEngine splitted into disambiguation (now in grafite_parser) and

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

diff --git a/helm/matita/matitaGuiTypes.mli b/helm/matita/matitaGuiTypes.mli
index 52dca43f729283a165acf531dae9a1cb2b17f490..efb704579feb36b4db3acf34a0c256ef3c9eb95a 100644 (file)
--- a/helm/matita/matitaGuiTypes.mli
+++ b/helm/matita/matitaGuiTypes.mli
@@ -117,7 +117,7 @@ object
   method reset: unit
   method load_logo: unit
   method load_logo_with_qed: unit
-  method load_sequents: MatitaTypes.incomplete_proof -> unit
+  method load_sequents: GrafiteTypes.incomplete_proof -> unit
   method goto_sequent: int -> unit  (* to be called _after_ load_sequents *)
 end