diff --git a/src/bluesim/event_queue.cxx b/src/bluesim/event_queue.cxx
index 09c64f2d..28bbc3eb 100644
--- a/src/bluesim/event_queue.cxx
+++ b/src/bluesim/event_queue.cxx
@@ -5,7 +5,7 @@
 
 /* we need these for the debugging routines only */
 #include "priority.h"
-extern "C" const char* bk_clock_name(tClock handle);
+extern "C" const char* bk_clock_name(tSimStateHdl simHdl, tClock handle);
 
 
 /* Fundamental heap operations */
@@ -222,7 +222,7 @@ void EventQueue::clear()
 }
 
 /* Print the event queue contents (for debugging) */
-void EventQueue::print() const
+void EventQueue::print(tSimStateHdl simHdl) const
 {
   printf("Event queue:\n");
   for (unsigned int i = 0; i < count; ++i)
@@ -231,6 +231,6 @@ void EventQueue::print() const
 	   events[i].fn, events[i].data.ptr, events[i].at,
 	   priority_group_name(priority_group(events[i].priority)),
 	   priority_slot_name(priority_slot(events[i].priority)),
-	   bk_clock_name(priority_clock(events[i].priority)));
+	   bk_clock_name(simHdl, priority_clock(events[i].priority)));
   }
 }
diff --git a/src/bluesim/event_queue.h b/src/bluesim/event_queue.h
index 8572a95e..1bad27f2 100644
--- a/src/bluesim/event_queue.h
+++ b/src/bluesim/event_queue.h
@@ -81,7 +81,7 @@ class EventQueue
   void clear();
 
   // debugging utility function
-  void print() const;
+  void print(tSimStateHdl simHdl) const;
 
  private: // heap maintenance functions
   bool isValid();