Missed one

WebAssembly · Oct 25, 2023 · 52dc27d · 52dc27d
1 parent e2dc367
commit 52dc27d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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']