From af8f72a87719428fe4af900da365d91c4c737011 Mon Sep 17 00:00:00 2001
From: qadeer <unknown>
Date: Mon, 5 May 2014 07:30:03 -0700
Subject: minor fix

---
 Test/test15/Answer | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'Test/test15')

diff --git a/Test/test15/Answer b/Test/test15/Answer
index 4a06cc59..229835f4 100644
--- a/Test/test15/Answer
+++ b/Test/test15/Answer
@@ -79,11 +79,11 @@ Execution trace:
     CaptureState.bpl(24,5): anon3
 *** MODEL
 $mv_state_const -> 3
-%lbl%@294 -> false
+%lbl%@293 -> false
 %lbl%+112 -> true
 %lbl%+114 -> true
 %lbl%+118 -> true
-%lbl%+149 -> true
+%lbl%+148 -> true
 F -> T@FieldName!val!0
 Heap -> T@[Ref,FieldName]Int!val!0
 m -> **m
-- 
cgit v1.2.3