diff -r 179ff9cb160b -r 5b25fee0362c src/Tools/code/code_target.ML
--- a/src/Tools/code/code_target.ML	Wed Mar 04 10:43:39 2009 +0100
+++ b/src/Tools/code/code_target.ML	Wed Mar 04 10:45:52 2009 +0100
@@ -1,5 +1,4 @@
 (*  Title:      Tools/code/code_target.ML
-    ID:         $Id$
     Author:     Florian Haftmann, TU Muenchen
 
 Serializer from intermediate language ("Thin-gol") to target languages.
@@ -418,7 +417,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