- initial support for abstractions with explicit levels

[helm.git] / helm / software / lambda-delta / src / basic_ag / bagOutput.ml

diff --git a/helm/software/lambda-delta/src/basic_ag/bagOutput.ml b/helm/software/lambda-delta/src/basic_ag/bagOutput.ml
index de954ed5637dc450261ef869ecf5a6acf30e97ba..dfdc6e116f1a4871cee8e301e2747d79181f0dd0 100644 (file)
--- a/helm/software/lambda-delta/src/basic_ag/bagOutput.ml
+++ b/helm/software/lambda-delta/src/basic_ag/bagOutput.ml
@@ -64,13 +64,13 @@ and count_term f c = function
       count_term f c t
 
 let count_entity f c = function
-   | _, _, E.Abst w -> 
+   | _, _, E.Abst (_, w) -> 
       let c = {c with eabsts = succ c.eabsts} in
       count_term f c w
-   | _, _, E.Abbr v -> 
+   | _, _, E.Abbr v      -> 
       let c = {c with eabbrs = succ c.eabbrs} in
       count_term f c v
-   | _, _, E.Void   -> assert false
+   | _, _, E.Void        -> assert false
 
 let print_counters f c =
    let terms =