X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fdual_rg%2FMake;h=ca961890516a08cb7a4bbe518cbd1466e078aea8;hb=34c2ba63c8eb5fccfd9a1fb8ac1df5895c8b58b3;hp=7d70990f5752ecf72987ae2e7e1b39ce9ee0c3f0;hpb=cd798346d31b14b8947e5801b87dc4f363607862;p=helm.git

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