From 21aaebf487a200535983a0b32a3ee064cca4833f Mon Sep 17 00:00:00 2001 From: rina Date: Fri, 21 Jun 2024 17:31:45 +1000 Subject: [PATCH] remove bareStringLit 2 --- libASL/lexersupport.ml | 1 - 1 file changed, 1 deletion(-) diff --git a/libASL/lexersupport.ml b/libASL/lexersupport.ml index 9b5b2de0..c3fcaef5 100644 --- 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"