1.1 --- a/src/Pure/System/build.ML	Tue Jul 24 14:36:08 2012 +0200
     1.2 +++ b/src/Pure/System/build.ML	Tue Jul 24 17:15:26 2012 +0200
     1.3 @@ -34,7 +34,7 @@
     1.4        [] => use_thys options thys
     1.5      | conds =>
     1.6          Output.physical_stderr ("Ignoring theories " ^ commas_quote thys ^
     1.7 -          " (missing " ^ commas conds ^ ")\n"))
     1.8 +          " (undefined " ^ commas conds ^ ")\n"))
     1.9    end;
    1.10  
    1.11  in