match raw pretty printing of optional_else and indented_block (#51)

* pp-raw for optional_else uses same format as indented_block * call pp_raw_indented_block from optional_else
UQ-PAC · Mar 12, 2024 · 94f73a2 · 94f73a2
1 parent cd41839
commit 94f73a2
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/libASL/asl.ott b/libASL/asl.ott
@@ -630,8 +630,7 @@ s_elsif :: 'S_Elsif_' ::=
 
 optional_else :: 'S_Else' ::=
     {{ phantom }} {{ ocaml stmt list }}
-    {{ pp-raw x = match x with [] -> string ""
-                             | ys -> string "(else " ^^ separate (string "\n") (List.map pp_raw_stmt ys) ^^ string ")" }}
+    {{ pp-raw x = pp_raw_indented_block x }}
     {{ pp     x = match x with [] -> string ""
                              | ys -> string "else {" ^^ hardline
                                          ^^ (nest 4 (separate (string "\n") (List.map pp_stmt ys @ [string "}"])))