Bug fixed: in case of (t ...) where t has flexible type, a failure obtained

[helm.git] / helm / software / lambda-delta / dual_rg / Make

diff --git a/helm/software/lambda-delta/dual_rg/Make b/helm/software/lambda-delta/dual_rg/Make
index 7d70990f5752ecf72987ae2e7e1b39ce9ee0c3f0..ca961890516a08cb7a4bbe518cbd1466e078aea8 100644 (file)
--- 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