From 8b62873ef5297427a7506ddb568731bf367ea030 Mon Sep 17 00:00:00 2001
From: rvcas <x@rvcas.dev>
Date: Tue, 9 Jan 2024 22:39:55 -0500
Subject: [PATCH] fix(format): post trace sequences getting wrapped in curlies
 closes #781

---
 crates/aiken-lang/src/format.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/crates/aiken-lang/src/format.rs b/crates/aiken-lang/src/format.rs
index 167e8c22..176aa02c 100644
--- a/crates/aiken-lang/src/format.rs
+++ b/crates/aiken-lang/src/format.rs
@@ -973,7 +973,7 @@ impl<'comments> Formatter<'comments> {
                 } else {
                     line()
                 })
-                .append(self.expr(then, false)),
+                .append(self.expr(then, true)),
         }
     }