A character should be a single character, not many

Fixes #15
verus-lang · Nov 22, 2023 · 4490ebe · 4490ebe
1 parent 4e8b5a4
commit 4490ebe
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/verus.pest b/src/verus.pest
@@ -158,7 +158,7 @@ raw_byte_string = @{
 }
 
 char = @{
-    "'" ~ ("\\'" | !"'" ~ ANY)* ~ "'"
+    "'" ~ ("\\'" | !"'" ~ ANY) ~ "'"
 }
 
 byte = @{