From 0f8f1054b630b1372a35d3275e83ca283a854247 Mon Sep 17 00:00:00 2001
From: Cas Cremers <cas.cremers@gmail.com>
Date: Fri, 4 Jan 2019 13:20:44 +0100
Subject: [PATCH] Flex doesn't need to run in interactive mode.

This gets rid of a C11 warning; all other ways to get rid of that warning seem worse hacks.
---
 src/scanner.l | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/scanner.l b/src/scanner.l
index b2fd97d..89c93fd 100644
--- a/src/scanner.l
+++ b/src/scanner.l
@@ -18,6 +18,7 @@
  */
 
 %option yylineno
+%option never-interactive
 
 %{
 /* scanner for security protocols language */