From d819bf5a9d08b037b48eea14fcec7ec5d259e6b9 Mon Sep 17 00:00:00 2001
From: Matus Tejiscak <ziman@functor.sk>
Date: Sat, 28 Mar 2020 15:02:08 +0100
Subject: [PATCH] Fix SeqEmpty in Text.Lexer.Core.

---
 libs/contrib/Text/Lexer/Core.idr | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/libs/contrib/Text/Lexer/Core.idr b/libs/contrib/Text/Lexer/Core.idr
index cc78d0260f..48f8a3dbd0 100644
--- a/libs/contrib/Text/Lexer/Core.idr
+++ b/libs/contrib/Text/Lexer/Core.idr
@@ -137,7 +137,7 @@ scan (SeqEat r1 r2) tok str
          assert_total (scan r2 tok' rest)
 scan (SeqEmpty r1 r2) tok str
     = do (tok', rest) <- scan r1 tok str
-         scan r2 tok' str
+         scan r2 tok' rest
 scan (Alt r1 r2) tok str
     = maybe (scan r2 tok str) Just (scan r1 tok str)