X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2FmatitaAutoGui.mli;h=eabf24aab70ef2ecec3b6f2c96f5114fe35bca42;hb=e880d6eab5e1700f4a625ddcd7d0fa8f0cce2dcc;hp=896886a02ee6231f1cac61026536a5b72c008969;hpb=5f3d564c7d5aa321a1a184ece75a5e1802a4fa2a;p=helm.git

diff --git a/helm/software/matita/matitaAutoGui.mli b/helm/software/matita/matitaAutoGui.mli
index 896886a02..eabf24aab 100644
--- a/helm/software/matita/matitaAutoGui.mli
+++ b/helm/software/matita/matitaAutoGui.mli
@@ -27,7 +27,7 @@
 
 type status =
     Cic.context *
-    (int * Cic.term * bool * int * (int * Cic.term) list) list *
-    (int * Cic.term * int) list * Cic.term list
+    (int * Cic.term * bool * int * (int * Cic.term Lazy.t) list) list *
+    (int * Cic.term * int) list * Cic.term Lazy.t list
 val auto_dialog : (unit -> status) -> unit
 val set_font_size: int -> unit