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