# HG changeset patch
# User wenzelm
# Date 1345662386 -7200
# Node ID c49eca45cbb0064f78b38639d0eef80bb7879d73
# Parent  9604c6563226b210ea9bee2b24752705d94edde6
tuned message -- dynamic loading happens routinely, e.g. in TTY/PG interaction;

diff -r 9604c6563226 -r c49eca45cbb0 src/Pure/Thy/thy_load.ML
--- a/src/Pure/Thy/thy_load.ML	Wed Aug 22 21:02:02 2012 +0200
+++ b/src/Pure/Thy/thy_load.ML	Wed Aug 22 21:06:26 2012 +0200
@@ -124,11 +124,7 @@
   Scan.ahead Parse.not_eof -- Parse.path >> (fn (tok, name) => fn thy =>
     (case Token.get_files tok of
       SOME files => files
-    | NONE =>
-        let
-          val path = Path.explode name;
-          val _ = warning ("Dynamic loading of files: " ^ Path.print path);
-        in read_files cmd (master_directory thy) path end));
+    | NONE => read_files cmd (master_directory thy) (Path.explode name)));
 
 fun resolve_files dir span =
   (case span of