src/Pure/Tools/print_operation.scala

--- a/src/Pure/Tools/print_operation.scala	Wed Jan 14 16:23:33 2015 +0100
+++ b/src/Pure/Tools/print_operation.scala	Wed Jan 14 16:27:19 2015 +0100
@@ -10,7 +10,7 @@
 object Print_Operation
 {
   def print_operations(session: Session): List[(String, String)] =
-    session.protocol_handler("isabelle.Print_Operation$Handler") match {
+    session.get_protocol_handler("isabelle.Print_Operation$Handler") match {
       case Some(handler: Handler) => handler.get
       case _ => Nil
     }