1.1 --- a/src/Tools/Code/code_target.ML	Tue Dec 21 09:29:53 2010 +0100
     1.2 +++ b/src/Tools/Code/code_target.ML	Tue Dec 21 10:20:33 2010 +0100
     1.3 @@ -421,7 +421,7 @@
     1.4      val program = prepared_program
     1.5        |> Graph.new_node (value_name,
     1.6            Code_Thingol.Fun (Term.dummy_patternN, (((vs', ty'), [(([IVar NONE], t), (NONE, true))]), NONE)))
     1.7 -      |> fold (curry Graph.add_edge value_name) deps;
     1.8 +      |> fold (curry (perhaps o try o Graph.add_edge) value_name) deps;
     1.9      val (program_code, deresolve) = produce (mounted_serializer program);
    1.10      val value_name' = the (deresolve value_name);
    1.11    in (program_code, value_name') end;