src/Tools/Code/code_namespace.ML
changeset 57428 47c8475e7864
parent 56826 ba18bd41e510
child 58520 a4d1f8041af0
     1.1 --- a/src/Tools/Code/code_namespace.ML	Sat Jun 28 21:09:17 2014 +0200
     1.2 +++ b/src/Tools/Code/code_namespace.ML	Sat Jun 28 22:13:20 2014 +0200
     1.3 @@ -355,7 +355,7 @@
     1.4        end;
     1.5      fun add_edge_acyclic_error error_msg dep gr =
     1.6        Code_Symbol.Graph.add_edge_acyclic dep gr
     1.7 -        handle Graph.CYCLES _ => error (error_msg ())
     1.8 +        handle Code_Symbol.Graph.CYCLES _ => error (error_msg ())
     1.9      fun add_dep sym sym' =
    1.10        let
    1.11          val (name_fragments, _) = prep_sym sym;