X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Flambda-delta%2Fdual_rg%2FMake;h=7d70990f5752ecf72987ae2e7e1b39ce9ee0c3f0;hb=3d23faf2969e2591db93f8bacc61952f3b66e2ca;hp=5020307c3b703cb0f70bb59c4b40384724a1a6e1;hpb=a9f15ca61aac8089fb4b599af72533c4a432ba7b;p=helm.git

diff --git a/helm/software/lambda-delta/dual_rg/Make b/helm/software/lambda-delta/dual_rg/Make
index 5020307c3..7d70990f5 100644
--- a/helm/software/lambda-delta/dual_rg/Make
+++ b/helm/software/lambda-delta/dual_rg/Make
@@ -1 +1 @@
-drg drgAut
+drg drgOutput drgAut