X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fbasic_rg%2FMake;h=7085d3b5787e7b1b302909cf93c9a3ed8e76cea6;hb=8659e85d49be1ad72622d4d3a73d384b744c3c08;hp=c40f0cc460aabf3a2ab814a494980d07b392c17c;hpb=a3ebffd30c70d8c93a40d06eff578703a586f2b9;p=helm.git

diff --git a/helm/software/lambda-delta/basic_rg/Make b/helm/software/lambda-delta/basic_rg/Make
index c40f0cc46..7085d3b57 100644
--- a/helm/software/lambda-delta/basic_rg/Make
+++ b/helm/software/lambda-delta/basic_rg/Make
@@ -1 +1 @@
-brg brgOutput brgEnvironment brgReduction
+brg brgEnvironment brgReduction brgOutput brgType brgUntrusted