X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Flambda-delta%2Fcommon%2Foutput.mli;h=679346a191a9cc46c15099fc238f55fc729ad3d8;hb=28430d599505ac26b51e4887e5196d9b380c898a;hp=812531585efd349c3119955b30b883635925d73b;hpb=c8011c7ad75be5d03c4d4bb2e6900af32ad65c07;p=helm.git

diff --git a/helm/software/lambda-delta/common/output.mli b/helm/software/lambda-delta/common/output.mli
index 812531585..679346a19 100644
--- a/helm/software/lambda-delta/common/output.mli
+++ b/helm/software/lambda-delta/common/output.mli
@@ -11,6 +11,8 @@
 
 val indexes: bool ref
 
+val icm: int ref
+
 val clear_reductions: unit -> unit
 
 val add: