diff options
| author |  MichalMoskal <unknown> | 2010-10-14 21:45:23 +0000 |
|---|---|---|
| committer | MichalMoskal <unknown> | 2010-10-14 21:45:23 +0000 |
| commit | 2cf9c9394780b1affd5a764b269757310d977b7a (patch) | |
| tree | 0cd61bc933a70e38d743ba739475233513f7de0f /Test/test15 | |
| parent | 6105f277f5d648e08987065dc697b5292ebf277d (diff) | |
Skip unchagned variables in model dumps. Fix testcase
Diffstat (limited to 'Test/test15')
| -rw-r--r-- | Test/test15/Answer | 1 |
1 files changed, 0 insertions, 1 deletions
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
|