# HG changeset patch
# User wenzelm
# Date 1542019271 -3600
# Node ID 0fde0dca6744bb8a3d00862305db99ee6c9dff25
# Parent  e4d5a07fecb646a2ca0067c1032a1ec82a7ef0c1
proper export;

diff -r e4d5a07fecb6 -r 0fde0dca6744 src/Tools/Haskell/Haskell.thy
--- 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
 
diff -r e4d5a07fecb6 -r 0fde0dca6744 src/Tools/Haskell/XML/Encode.hs
--- a/src/Tools/Haskell/XML/Encode.hs	Sun Nov 11 16:08:59 2018 +0100
+++ b/src/Tools/Haskell/XML/Encode.hs	Mon Nov 12 11:41:11 2018 +0100
@@ -14,7 +14,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