src/HOL/Library/Code_Integer.thy
changeset 26009 b6a64fe38634
parent 25928 042e877d9841
child 26086 3c243098b64a
--- a/src/HOL/Library/Code_Integer.thy	Mon Jan 28 22:27:29 2008 +0100
+++ b/src/HOL/Library/Code_Integer.thy	Tue Jan 29 10:19:56 2008 +0100
@@ -6,7 +6,7 @@
 header {* Pretty integer literals for code generation *}
 
 theory Code_Integer
-imports Int
+imports Presburger
 begin
 
 text {*