Huge commit with several changes:

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

diff --git a/helm/software/matita/matitaGuiTypes.mli b/helm/software/matita/matitaGuiTypes.mli
index 51c700dc3177067a959c44072013416e5ac7e49b..18515dac57d70031883fa10a0c626110b116c5e4 100644 (file)
--- a/helm/software/matita/matitaGuiTypes.mli
+++ b/helm/software/matita/matitaGuiTypes.mli
@@ -127,6 +127,7 @@ object
   method nload_sequent: NCic.metasenv -> NCic.substitution -> int -> unit
 
   method load_object: Cic.obj -> unit
+  method load_nobject: NCic.obj -> unit
 end
 
 class type sequentsViewer =