Added statistics printings

[helm.git] / helm / software / lambda-delta / basic_ag / bagReduction.mli

diff --git a/helm/software/lambda-delta/basic_ag/bagReduction.mli b/helm/software/lambda-delta/basic_ag/bagReduction.mli
index a07e65cb010a53337cdc6715d83e926ffb2d96ef..28c29e7f289f71f1db442fa447c36a9a91cdade4 100644 (file)
--- a/helm/software/lambda-delta/basic_ag/bagReduction.mli
+++ b/helm/software/lambda-delta/basic_ag/bagReduction.mli
@@ -9,12 +9,10 @@
      \ /   This software is distributed as is, NO WARRANTY.              
       V_______________________________________________________________ *)
 
-
 exception LRefNotFound of Bag.message
 
 type ho_whd_result =
    | Sort of int
-   | GRef of NUri.uri * Bag.term list
    | Abst of Bag.term
 
 val ho_whd: