From efb2752e4e79130aa784ebbe59aa7c4003f11ab4 Mon Sep 17 00:00:00 2001
From: Houtan Bastani <houtan@dynare.org>
Date: Fri, 13 Dec 2019 16:18:45 +0100
Subject: [PATCH] Ramsey: fix bug: symbol_list is not passed to RamseyPolicy
statement when it was not passed options
---
src/DynareBison.yy | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/DynareBison.yy b/src/DynareBison.yy
index 23f4f395..22f5b679 100644
--- a/src/DynareBison.yy
+++ b/src/DynareBison.yy
@@ -2321,7 +2321,7 @@ ramsey_policy : RAMSEY_POLICY ';'
{ driver.ramsey_policy(); }
| RAMSEY_POLICY '(' ramsey_policy_options_list ')' ';'
{ driver.ramsey_policy(); }
- | RAMSEY_POLICY symbol_list ';'
+ | RAMSEY_POLICY ramsey_policy_list ';'
{ driver.ramsey_policy(); }
| RAMSEY_POLICY '(' ramsey_policy_options_list ')' ramsey_policy_list ';'
{ driver.ramsey_policy(); }
--
GitLab