Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Thy/thy_load.ML
changeset 55788 67699e08e969
parent 55708 f4b114070675
child 55882 912c9aa8de32 
--- 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 =
isabelle