From f8fd8c617a2d6435dfa79fe13745b63f35b32be3 Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Fri, 18 Dec 2020 22:47:49 +0100
Subject: [PATCH] Fix lexing in case of carriage-return (windows/dos format).
---
property_lexer.mll | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/property_lexer.mll b/property_lexer.mll
index 14bc3f4..a08e5fb 100644
--- a/property_lexer.mll
+++ b/property_lexer.mll
@@ -30,7 +30,7 @@ rule line = parse
(* This rule analyzes a single line and turns it into a stream of tokens. *)
and token = parse
-| [' ' '\t']
+| [' ' '\t' '\r']
{ token lexbuf }
| input as i
{ INPUT i }
--
GitLab