--- a/src/HOL/Data_Structures/Binomial_Heap.thy Sun Jun 24 22:13:23 2018 +0200
+++ b/src/HOL/Data_Structures/Binomial_Heap.thy Mon Jun 25 14:45:05 2018 +0200
@@ -8,7 +8,7 @@
imports
Base_FDS
Complex_Main
- Priority_Queue
+ Priority_Queue_Specs
begin
text \<open>