changeset 69287 | 0fde0dca6744 |
parent 69280 | e1d01b351724 |
child 69288 | 4c3704ecb0e6 |
--- a/src/Tools/Haskell/Haskell.thy Sun Nov 11 16:08:59 2018 +0100 +++ b/src/Tools/Haskell/Haskell.thy Mon Nov 12 11:41:11 2018 +0100 @@ -655,7 +655,7 @@ int_atom, bool_atom, unit_atom, - tree, properties, string, init, bool, unit, pair, triple, list, variant + tree, properties, string, int, bool, unit, pair, triple, list, variant ) where