- the connections between the intermediate language and the "bag"

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

diff --git a/helm/software/lambda-delta/src/basic_ag/Make b/helm/software/lambda-delta/src/basic_ag/Make
index 1d2286b52d3de0aa1e6484a1195543bc4122f8d9..74961c69266e92cc1d2d6f3d5f8eca3ae8a901e0 100644 (file)
--- a/helm/software/lambda-delta/src/basic_ag/Make
+++ b/helm/software/lambda-delta/src/basic_ag/Make
@@ -1,2 +1,2 @@
-bag bagOutput 
+bag bagCrg bagOutput 
 bagEnvironment bagSubstitution bagReduction bagType bagUntrusted