diff options
Diffstat (limited to 'Test/test15/Answer')
| -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
|