Commit 5b5c5edc authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

* src/ltlparse/ltlscan.ll: Mark as non-interactive.

parent 2a71517f
...@@ -24,6 +24,7 @@ ...@@ -24,6 +24,7 @@
%option prefix="ltlyy" %option prefix="ltlyy"
%option outfile="lex.yy.c" %option outfile="lex.yy.c"
%option stack %option stack
%option never-interactive
%{ %{
#include <cstdlib> #include <cstdlib>
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment