From 44b68863a5955f0427d0dec1156d1f5e268d3b35 Mon Sep 17 00:00:00 2001
From: katrinafyi <39479354+katrinafyi@users.noreply.github.com>
Date: Mon, 9 Mar 2026 17:51:15 +1000
Subject: [PATCH] Fix IDE test case using old phi block syntax

---
 test/analysis/ide_live.ml | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/test/analysis/ide_live.ml b/test/analysis/ide_live.ml
index 96ca6452..9be85f5d 100644
--- a/test/analysis/ide_live.ml
+++ b/test/analysis/ide_live.ml
@@ -66,8 +66,9 @@ proc @main (x_in:bv64) -> ()
     block %main_entry [
         goto(%loop_head);
     ];
-    block %loop_head [
-        (var x_1:bv64 := phi(%main_entry -> x_in:bv64, %main_1 -> x_2:bv64, %main_2 -> x_3:bv64));
+    block %loop_head (
+        var x_1:bv64 := phi(%main_entry -> x_in:bv64, %main_1 -> x_2:bv64, %main_2 -> x_3:bv64)
+    ) [
         goto(%main_1, %main_2, %main_return);
     ];
     block %main_1 [