X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2FmatitaGuiTypes.mli;h=18515dac57d70031883fa10a0c626110b116c5e4;hb=11b2157bacf59cfc561c2ef6f92ee41ee2c1a006;hp=51c700dc3177067a959c44072013416e5ac7e49b;hpb=4514417676056e0be6cc481a931e70a627882867;p=helm.git

diff --git a/helm/software/matita/matitaGuiTypes.mli b/helm/software/matita/matitaGuiTypes.mli
index 51c700dc3..18515dac5 100644
--- 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 =