xref: /seL4-l4v-10.1.1/HOL4/tools/Holmake/tests/holdep/errors/string_badlit.sml

val t = "p /\ q";