update a test

vekatze · Dec 5, 2024 · aae8405 · aae8405
1 parent 201eaf4
commit aae8405
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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