# HG changeset patch
# User haftmann
# Date 1243664204 -7200
# Node ID 956592c2c701953101def9ddcda8b9286f47cb35
# Parent  79a40605efcec1ecaeb5d871ef747eb7c0f3a241
corrected bound/unbounded flag for nat numerals

diff -r 79a40605efce -r 956592c2c701 src/HOL/Library/Efficient_Nat.thy
--- a/src/HOL/Library/Efficient_Nat.thy	Fri May 29 17:27:00 2009 +0200
+++ b/src/HOL/Library/Efficient_Nat.thy	Sat May 30 08:16:44 2009 +0200
@@ -317,7 +317,7 @@
 
 setup {*
   fold (Numeral.add_code @{const_name number_nat_inst.number_of_nat}
-    true false) ["SML", "OCaml", "Haskell"]
+    false true) ["SML", "OCaml", "Haskell"]
 *}
 
 text {*