# HG changeset patch
# User wenzelm
# Date 1343142926 -7200
# Node ID 322fbf5717825a74c43b3278ca61c9037720b707
# Parent  44f56fe015286142db753c2fe80106bd9aae0464
tuned message;

diff -r 44f56fe01528 -r 322fbf571782 src/Pure/System/build.ML
--- a/src/Pure/System/build.ML	Tue Jul 24 14:36:08 2012 +0200
+++ b/src/Pure/System/build.ML	Tue Jul 24 17:15:26 2012 +0200
@@ -34,7 +34,7 @@
       [] => use_thys options thys
     | conds =>
         Output.physical_stderr ("Ignoring theories " ^ commas_quote thys ^
-          " (missing " ^ commas conds ^ ")\n"))
+          " (undefined " ^ commas conds ^ ")\n"))
   end;
 
 in