remove bareStringLit 2

UQ-PAC · Jun 21, 2024 · 21aaebf · 21aaebf
1 parent fc8f83b
commit 21aaebf
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/libASL/lexersupport.ml b/libASL/lexersupport.ml
@@ -21,7 +21,6 @@ let string_of_token (t: Asl_parser.token): string =
     | BAR_BAR             -> "barbar"
     | BITS                -> "bits"
     | BITSLIT(x)          -> "bin:"^x
-    | BARESTRINGLIT x     -> "bare:"^x
     | UNDERSCORE_UNDERSCORE_ARRAY                           -> "__array"
     | UNDERSCORE_UNDERSCORE_BUILTIN                         -> "__builtin"
     | UNDERSCORE_UNDERSCORE_CONDITIONAL                     -> "__conditional"