--- a/src/HOL/Library/Code_Integer.thy Fri Mar 28 22:00:59 2008 +0100
+++ b/src/HOL/Library/Code_Integer.thy Fri Mar 28 22:01:01 2008 +0100
@@ -6,7 +6,7 @@
header {* Pretty integer literals for code generation *}
theory Code_Integer
-imports Presburger
+imports ATP_Linkup
begin
text {*