1 files changed, 4 insertions, 4 deletions
diff --git a/Test/test15/Answer b/Test/test15/Answer
index 473af09b..ae010dc9 100644
--- a/Test/test15/Answer
+++ b/Test/test15/Answer
@@ -114,11 +114,11 @@ Execution trace:
     CaptureState.bpl(16,5): anon4_Then
     CaptureState.bpl(24,5): anon3
 *** MODEL
-%lbl%@334 -> false
-%lbl%+110 -> true
+%lbl%@336 -> false
 %lbl%+112 -> true
-%lbl%+116 -> true
-%lbl%+189 -> true
+%lbl%+114 -> true
+%lbl%+118 -> true
+%lbl%+191 -> true
 @MV_state_const -> 6
 boolType -> T@T!val!1
 F -> T@U!val!2