1.1 --- a/src/HOL/Library/Efficient_Nat.thy Fri Apr 16 20:56:40 2010 +0200
1.2 +++ b/src/HOL/Library/Efficient_Nat.thy Fri Apr 16 21:28:09 2010 +0200
1.3 @@ -496,6 +496,6 @@
1.4 code_modulename Haskell
1.5 Efficient_Nat Arith
1.6
1.7 -hide const int
1.8 +hide_const int
1.9
1.10 end