X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fbasic_ag%2FbagOutput.mli;h=e176227d96c18069e3291e7f166bdbc717d0c6b9;hb=47f4d2af2a592e2e6c0e0ea5f90ffae2fbf6391a;hp=fe4d9f34449581bb1ebb378ba4ee970af956579e;hpb=338e3e5c639fbcfeeb347a0121cacc6c0f1fc42a;p=helm.git

diff --git a/helm/software/lambda-delta/basic_ag/bagOutput.mli b/helm/software/lambda-delta/basic_ag/bagOutput.mli
index fe4d9f344..e176227d9 100644
--- a/helm/software/lambda-delta/basic_ag/bagOutput.mli
+++ b/helm/software/lambda-delta/basic_ag/bagOutput.mli
@@ -18,5 +18,3 @@ val count_item: (counters -> 'a) -> counters -> Bag.item -> 'a
 val print_counters: (unit -> 'a) -> counters -> 'a
 
 val specs: (Bag.context, Bag.term) Log.specs
-
-val indexes: bool ref