cicInspect: node count fixed

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

diff --git a/helm/software/matita/matitaScript.mli b/helm/software/matita/matitaScript.mli
index 3d9e8fba78c1b463f5812a381b11bcbdd87fc559..304818f7bc8cf4500d9ec6acee7fcfcc99641331 100644 (file)
--- a/helm/software/matita/matitaScript.mli
+++ b/helm/software/matita/matitaScript.mli
@@ -85,6 +85,7 @@ object
   
   (* debug *)
   method dump : unit -> unit
+  method expandAllVirtuals : unit 
 
 end