From 2cf9c9394780b1affd5a764b269757310d977b7a Mon Sep 17 00:00:00 2001
From: MichalMoskal <unknown>
Date: Thu, 14 Oct 2010 21:45:23 +0000
Subject: Skip unchagned variables in model dumps. Fix testcase

---
 Test/test15/Answer | 1 -
 1 file changed, 1 deletion(-)

(limited to 'Test/test15')

diff --git a/Test/test15/Answer b/Test/test15/Answer
index 47bff793..a5ecfb33 100644
--- a/Test/test15/Answer
+++ b/Test/test15/Answer
@@ -262,7 +262,6 @@ int_2_U -> {
 }
 *** STATE <initial>
   Heap -> *8
-  F -> *10
   this -> *9
 *** END_STATE
 *** STATE top
-- 
cgit v1.2.3