diff options
author | Pantazis Deligiannis <pdeligia@me.com> | 2013-07-22 14:47:53 +0100 |
---|---|---|
committer | Pantazis Deligiannis <pdeligia@me.com> | 2013-07-22 14:47:53 +0100 |
commit | ff37bd957d636f21a0ae71f861b35059749bd6a8 (patch) | |
tree | 7c32d4e41c4ab7e7d9381d56bade2a5b07ab9a63 /Test/test15 | |
parent | 7025b1947fabb10e8a9213ff2ce764df03e6d53c (diff) |
fix
Diffstat (limited to 'Test/test15')
-rw-r--r-- | Test/test15/Answer | 4 |
1 files changed, 2 insertions, 2 deletions
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
|