From aae840518884df0c0df99cae3b0d5ee9b9774603 Mon Sep 17 00:00:00 2001
From: vekatze <vekatze@icloud.com>
Date: Thu, 5 Dec 2024 21:36:32 +0900
Subject: [PATCH] update a test

---
 test/term/with/source/with.nt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/test/term/with/source/with.nt b/test/term/with/source/with.nt
index 73af6653b..d84dc5e0d 100644
--- a/test/term/with/source/with.nt
+++ b/test/term/with/source/with.nt
@@ -54,6 +54,7 @@ define test2(): either(int, int) {
         let _ = k in
         tmp
       in
+      let _ = k in
       bind _: bool = Right(True) in
       nop();
       let _ = type in