aslt: quote ident names

UQ-PAC · Mar 12, 2024 · 9fb83cc · 9fb83cc
1 parent be30167
commit 9fb83cc
Show file tree

Hide file tree

Showing 2 changed files with 48 additions and 48 deletions.
diff --git a/libASL/asl.ott b/libASL/asl.ott
@@ -175,7 +175,7 @@ ident :: '' ::=        {{ phantom }}
                        {{ ocaml ident }}
                        {{ com Identifier }}
                        {{ pp     l = PPrint.string (pprint_ident l) }}
-                       {{ pp-raw l = PPrint.string (pprint_ident l) }}
+                       {{ pp-raw l = PPrint.string ("\"" ^ pprint_ident l ^ "\"") }}
   | id                 :: :: Ident {{ ocaml Ident [[id]] }}
 
 typeident :: '' ::=    {{ phantom }}