From 1017350110ac70f6599fba1275b36a855a1a9dd3 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Wed, 3 Oct 2012 17:19:08 +0200
Subject: [PATCH] * src/ltlparse/ltlscan.ll: Reset the starting condition to 0
 initially.

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

diff --git a/src/ltlparse/ltlscan.ll b/src/ltlparse/ltlscan.ll
index 3d46450a7..7da6ec6d7 100644
--- a/src/ltlparse/ltlscan.ll
+++ b/src/ltlparse/ltlscan.ll
@@ -80,6 +80,8 @@ BOXDARROW {BOX}{DARROWL}|"|"{DARROWL}|"⤇"
       start_token = 0;
       if (t == token::START_LBT)
         BEGIN(lbt);
+      else
+        BEGIN(0);
       return t;
     }
   yylloc->step();