# HG changeset patch
# User haftmann
# Date 1179072924 -7200
# Node ID 997cef733bddfaab3485f0842b31155492af8e80
# Parent  8752ca7f849a8d2f6dd828d6bce96e3bac6c6a43
fixed omission

diff -r 8752ca7f849a -r 997cef733bdd src/HOL/Library/Pretty_Int.thy
--- a/src/HOL/Library/Pretty_Int.thy	Sun May 13 18:15:23 2007 +0200
+++ b/src/HOL/Library/Pretty_Int.thy	Sun May 13 18:15:24 2007 +0200
@@ -20,6 +20,9 @@
   (OCaml "Big'_int.big'_int")
   (Haskell "Integer")
 
+code_instance int :: eq
+  (Haskell -)
+
 setup {*
   fold (fn target => CodegenSerializer.add_pretty_numeral target
     (@{const_name number_of}, @{typ "int \<Rightarrow> int"})