Merge pull request #1922 from GaloisInc/parse-backslash-n

Fix parse error on `\n`
GaloisInc · Aug 29, 2023 · 47cfc25 · 47cfc25
2 parents 0aa2492 + 1d1b639
commit 47cfc25
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 1 deletion.
diff --git a/intTests/test1894/test.saw b/intTests/test1894/test.saw
@@ -0,0 +1 @@
+(\n -> n) 1;
diff --git a/intTests/test1894/test.sh b/intTests/test1894/test.sh
@@ -0,0 +1,3 @@
+set -e
+
+$SAW test.saw
diff --git a/src/SAWScript/Lexer.x b/src/SAWScript/Lexer.x
@@ -71,7 +71,6 @@ $charesc     = [abfnrtv\\\"\'\&]
 sawTokens :-
 
 $white+                          ;
-"\n"                             ;
 "//".*                           ;
 "/*"                             { cnst TCmntS           }
 "*/"                             { cnst TCmntE           }