From ef7141aab368f682a3846a56624f3c1b90dc445c Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 6 Jan 2022 15:37:55 +0100
Subject: Fix some printing issues

---
 src/Print.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/Print.ml b/src/Print.ml
index de1952e1..f265cacb 100644
--- a/src/Print.ml
+++ b/src/Print.ml
@@ -739,7 +739,7 @@ module CfimAst = struct
         indent ^ "set_discriminant(" ^ place_to_string fmt p ^ ", "
         ^ T.VariantId.to_string variant_id
         ^ ")"
-    | A.Drop p -> "drop(" ^ place_to_string fmt p ^ ")"
+    | A.Drop p -> indent ^ "drop(" ^ place_to_string fmt p ^ ")"
     | A.Assert a ->
         let cond = operand_to_string fmt a.A.cond in
         if a.A.expected then indent ^ "assert(" ^ cond ^ ")"
@@ -777,7 +777,7 @@ module CfimAst = struct
     | A.Nop -> indent ^ "nop"
     | A.Sequence (st1, st2) ->
         statement_to_string fmt indent indent_incr st1
-        ^ "\n"
+        ^ ";\n"
         ^ statement_to_string fmt indent indent_incr st2
     | A.Switch (op, tgts) -> (
         let op = operand_to_string fmt op in
-- 
cgit v1.2.3