remove bareStringLit

UQ-PAC · Jun 21, 2024 · fc8f83b · fc8f83b
1 parent 2382e89
commit fc8f83b
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/libASL/asl.ott b/libASL/asl.ott
@@ -17,7 +17,6 @@ metavar realLit   ::= {{ ocaml string }}  {{ ocamllex ['0'-'9']+ '.' ['0'-'9']+
 metavar hexLit    ::= {{ ocaml string }}  {{ ocamllex '0''x'['0'-'9' 'A' - 'F' 'a'-'f' '_']+  }}
 metavar stringLit ::= {{ ocaml string }}  {{ ocamllex '"' [^'"']* '"'  }} {{ phantom }}
     {{ pp x = string ("\"" ^ x ^ "\"") }}
-metavar bareStringLit ::= {{ ocaml string }}  {{ ocamllex [^'\n']+ }} {{ phantom }}
 
 indexvar i, m, n ::= {{ ocaml int }}