corrected handled exception
authorhaftmann
Sat Jun 28 22:13:20 2014 +0200 (2014-06-28)
changeset 5742847c8475e7864
parent 57427 91f9e4148460
child 57429 4aef934d43ad
corrected handled exception
src/Tools/Code/code_namespace.ML
     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;