From 5b5c5edcf8ba0c814a7c47392e2fd14874234ced Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Tue, 25 Nov 2014 21:46:27 +0100
Subject: [PATCH] * src/ltlparse/ltlscan.ll: Mark as non-interactive.

---
 src/ltlparse/ltlscan.ll | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/ltlparse/ltlscan.ll b/src/ltlparse/ltlscan.ll
index 6624af883..b7c6291d4 100644
--- a/src/ltlparse/ltlscan.ll
+++ b/src/ltlparse/ltlscan.ll
@@ -24,6 +24,7 @@
 %option prefix="ltlyy"
 %option outfile="lex.yy.c"
 %option stack
+%option never-interactive
 
 %{
 #include <cstdlib>