From f9cb8c7c79c2c4a6eb921a58b56d7d207bf09b50 Mon Sep 17 00:00:00 2001
From: rustanleino <unknown>
Date: Tue, 1 Mar 2011 01:08:22 +0000
Subject: Updates to Answer files from recent changes

---
 Test/test15/Answer | 12 ++++++++++++
 1 file changed, 12 insertions(+)

(limited to 'Test/test15')

diff --git a/Test/test15/Answer b/Test/test15/Answer
index f989c7bd..19f526f5 100644
--- a/Test/test15/Answer
+++ b/Test/test15/Answer
@@ -218,10 +218,12 @@ r -> **r
 m -> **m
 $pow2 -> {
   0 -> 1
+  else -> *22
 }
 tickleBool -> {
   false -> true
   true -> true
+  else -> *22
 }
 Ctor -> {
   *4 -> 0
@@ -229,39 +231,49 @@ Ctor -> {
   *6 -> 3
   *7 -> 4
   *18 -> 2
+  else -> *22
 }
 type -> {
   *8 -> *18
   *9 -> *6
   *10 -> *7
   -2 -> *4
+  else -> *22
 }
 MapType0Type -> {
   *6 *7 *4 -> *18
+  else -> *22
 }
 MapType0TypeInv2 -> {
   *18 -> *4
+  else -> *22
 }
 MapType0TypeInv1 -> {
   *18 -> *7
+  else -> *22
 }
 MapType0TypeInv0 -> {
   *18 -> *6
+  else -> *22
 }
 @MV_state -> {
   0 -> true
   3 -> true
   4 -> true
   5 -> true
+  else -> *22
 }
 [3] -> {
   *8 *9 *10 -> -2
+  else -> *22
 }
 U_2_int -> {
   -2 -> -2
+  else -> *22
 }
 int_2_U -> {
   -2 -> -2
+  else -> *22
 }
 *** STATE <initial>
   Heap -> *8
-- 
cgit v1.2.3