diff --git a/property_lexer.mll b/property_lexer.mll
index 14bc3f47ff03ec6a4ad2b2f7658838647b0454dd..a08e5fb84a6f5f3a0c9568ca94c0ab00f3000230 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 }