From f25b069a00f289007b4f484cf9636d8c0f088306 Mon Sep 17 00:00:00 2001
From: Michel Juillard <michel.juillard@ens.fr>
Date: Thu, 10 Feb 2011 10:59:14 +0100
Subject: [PATCH] corrected bug for options_.kalman_tol and increased its
 default value to 1e-10

---
 DynareBison.yy | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/DynareBison.yy b/DynareBison.yy
index dd65be76..5a2a91e2 100644
--- a/DynareBison.yy
+++ b/DynareBison.yy
@@ -1741,7 +1741,7 @@ o_moments_varendo : MOMENTS_VARENDO { driver.option_num("moments_varendo", "1");
 o_filtered_vars : FILTERED_VARS { driver.option_num("filtered_vars", "1"); };
 o_relative_irf : RELATIVE_IRF { driver.option_num("relative_irf", "1"); };
 o_kalman_algo : KALMAN_ALGO EQUAL INT_NUMBER { driver.option_num("kalman_algo", $3); };
-o_kalman_tol : KALMAN_TOL EQUAL INT_NUMBER { driver.option_num("kalman_tol", $3); };
+o_kalman_tol : KALMAN_TOL EQUAL non_negative_number { driver.option_num("kalman_tol", $3); };
 o_marginal_density : MARGINAL_DENSITY EQUAL LAPLACE
                      { driver.option_str("mc_marginal_density", "laplace"); }
                    | MARGINAL_DENSITY EQUAL MODIFIEDHARMONICMEAN
-- 
GitLab