diff -r 91f9e4148460 -r 47c8475e7864 src/Tools/Code/code_namespace.ML
--- a/src/Tools/Code/code_namespace.ML	Sat Jun 28 21:09:17 2014 +0200
+++ b/src/Tools/Code/code_namespace.ML	Sat Jun 28 22:13:20 2014 +0200
@@ -355,7 +355,7 @@
       end;
     fun add_edge_acyclic_error error_msg dep gr =
       Code_Symbol.Graph.add_edge_acyclic dep gr
-        handle Graph.CYCLES _ => error (error_msg ())
+        handle Code_Symbol.Graph.CYCLES _ => error (error_msg ())
     fun add_dep sym sym' =
       let
         val (name_fragments, _) = prep_sym sym;