From ff37bd957d636f21a0ae71f861b35059749bd6a8 Mon Sep 17 00:00:00 2001
From: Pantazis Deligiannis <pdeligia@me.com>
Date: Mon, 22 Jul 2013 14:47:53 +0100
Subject: 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 159b3579..bc2c9d35 100644
--- a/Test/test15/Answer
+++ b/Test/test15/Answer
@@ -125,7 +125,7 @@ Execution trace:
 %lbl%+114 -> true
 %lbl%+118 -> true
 %lbl%+148 -> true
-@MV_state_const -> 6
+$mv_state_const -> 6
 boolType -> T@T!val!2
 F -> T@U!val!2
 FieldNameType -> T@T!val!4
@@ -153,7 +153,7 @@ type -> {
   -451 -> T@T!val!0
   else -> T@T!val!5
 }
-@MV_state -> {
+$mv_state -> {
   6 0 -> true
   6 1 -> true
   6 2 -> true
-- 
cgit v1.2.3