src/Pure/Tools/class_deps.ML

--- a/src/Pure/Tools/class_deps.ML	Thu Apr 16 15:11:04 2015 +0200
+++ b/src/Pure/Tools/class_deps.ML	Thu Apr 16 15:22:44 2015 +0200
@@ -44,7 +44,6 @@
 val _ =
   Outer_Syntax.command @{command_keyword class_deps} "visualize class dependencies"
     (Scan.option class_bounds -- Scan.option class_bounds >> (fn args =>
-      (Toplevel.unknown_theory o
-       Toplevel.keep (fn st => class_deps_cmd (Toplevel.context_of st) args))));
+      Toplevel.keep (fn st => class_deps_cmd (Toplevel.context_of st) args)));
 
 end;