From 95da5322751cb366cc71b1330b64ee703baccf71 Mon Sep 17 00:00:00 2001
From: Houtan Bastani <houtan@dynare.org>
Date: Wed, 29 Aug 2018 12:53:56 +0200
Subject: [PATCH] remove incorrect option as `unput` is used in flex file

---
 src/DynareFlex.ll | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/DynareFlex.ll b/src/DynareFlex.ll
index 8f0ac71a..817a83fa 100644
--- a/src/DynareFlex.ll
+++ b/src/DynareFlex.ll
@@ -52,7 +52,7 @@ string eofbuff;
 
 %option prefix="Dynare"
 
-%option case-insensitive noyywrap nounput batch debug never-interactive
+%option case-insensitive noyywrap batch debug never-interactive
 
  /* NB: if new start conditions are defined, add them in the line for <<EOF>> */
 %x COMMENT
-- 
GitLab