X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fsrc%2Fbasic_ag%2FMake;fp=helm%2Fsoftware%2Flambda-delta%2Fsrc%2Fbasic_ag%2FMake;h=74961c69266e92cc1d2d6f3d5f8eca3ae8a901e0;hb=a5709dff43233c041f77a4ee4b7f2df1a3c51ab6;hp=1d2286b52d3de0aa1e6484a1195543bc4122f8d9;hpb=f3f6b451707a3feb8245717e3fa7ca25df0ce8ef;p=helm.git

diff --git a/helm/software/lambda-delta/src/basic_ag/Make b/helm/software/lambda-delta/src/basic_ag/Make
index 1d2286b52..74961c692 100644
--- 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