diff -r 5b192d6b7a54 -r 5c4275c3b5b8 src/HOL/Boogie/Examples/Boogie_Max.thy
--- a/src/HOL/Boogie/Examples/Boogie_Max.thy	Thu Aug 23 14:58:42 2012 +0200
+++ b/src/HOL/Boogie/Examples/Boogie_Max.thy	Thu Aug 23 15:06:15 2012 +0200
@@ -6,7 +6,6 @@
 
 theory Boogie_Max
 imports Boogie
-uses ("Boogie_Max.b2i")
 begin
 
 text {*