diff options
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
|