diff -r 41a73a41f6c8 -r 67699e08e969 src/Pure/Thy/thy_load.ML
--- a/src/Pure/Thy/thy_load.ML	Thu Feb 27 17:24:46 2014 +0100
+++ b/src/Pure/Thy/thy_load.ML	Thu Feb 27 17:29:58 2014 +0100
@@ -100,7 +100,7 @@
   parse_files cmd >> (fn files => fn thy =>
     let
       val fs = files thy;
-      val thy' = fold (fn {src_path, text, ...} => provide (src_path, SHA1.digest text)) fs thy;
+      val thy' = fold (fn {src_path, digest, ...} => provide (src_path, digest)) fs thy;
     in (fs, thy') end);
 
 fun load_file thy src_path =