--- 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 {*