--- a/src/Tools/code/code_target.ML Fri Feb 20 18:29:10 2009 +0100
+++ b/src/Tools/code/code_target.ML Fri Feb 20 18:29:11 2009 +0100
@@ -418,7 +418,7 @@
val program4 = Graph.subgraph (member (op =) names_all) program3;
val empty_funs = filter_out (member (op =) abortable)
(Code_Thingol.empty_funs program3);
- val _ = if null empty_funs then () else error ("No defining equations for "
+ val _ = if null empty_funs then () else error ("No code equations for "
^ commas (map (Sign.extern_const thy) empty_funs));
in
serializer module args (labelled_name thy program2) reserved includes