1 files changed, 7 insertions, 6 deletions
diff --git a/src/relooper/test_fuzz1.txt b/src/relooper/test_fuzz1.txt
index 09edb594..5122257e 100644
--- a/src/relooper/test_fuzz1.txt
+++ b/src/relooper/test_fuzz1.txt
@@ -3,12 +3,13 @@
 print('entry'); var label; var state; var decisions = [4, 1, 7, 2, 6, 6, 8]; var index = 0; function check() { if (index == decisions.length) throw 'HALT'; return decisions[index++] }
 print(5); state = check();
 print(6); state = check();
-L3: 
-if (state == 7) {
-  print(7); state = check();
-  label = 3;
-  break L3;
-}
+do {
+  if (state == 7) {
+    print(7); state = check();
+    label = 3;
+    break;
+  }
+} while(0);
 L5: while(1) {
   if (label == 3) {
     label = 0;