From 52dc27dc25b641a5851bee67c62aec7c4d5e833a Mon Sep 17 00:00:00 2001
From: Andreas Rossberg <rossberg@mpi-sws.org>
Date: Wed, 25 Oct 2023 09:09:57 +0200
Subject: [PATCH] Missed one

---
 interpreter/text/lexer.mll | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/interpreter/text/lexer.mll b/interpreter/text/lexer.mll
index 5c920b98b5..34099e849f 100644
--- a/interpreter/text/lexer.mll
+++ b/interpreter/text/lexer.mll
@@ -62,7 +62,7 @@ let symbol =
   ['+''-''*''/''\\''^''~''=''<''>''!''?''@''#''$''%''&''|'':''`''.''\'']
 
 let ascii_newline = ['\x0a''\x0d']
-let newline = ascii_newline | "\x0a\x0d" | "\xc2\x85"
+let newline = ascii_newline | "\x0a\x0d"
 let space = [' ''\x09''\x0a''\x0d']
 let control = ['\x00'-'\x1f'] # space
 let ascii = ['\x00'-'\x7f']