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_info.ML
changeset 51294 0850d43cb355
parent 51293 05b1bbae748d
child 51330 f249bd08d851 
--- a/src/Pure/Thy/thy_info.ML	Wed Feb 27 12:45:19 2013 +0100
+++ b/src/Pure/Thy/thy_info.ML	Wed Feb 27 16:27:44 2013 +0100
@@ -243,7 +243,7 @@
 
     val {master = (thy_path, _), imports} = deps;
     val dir = Path.dir thy_path;
-    val header = Thy_Header.make (name, pos) imports keywords [];
+    val header = Thy_Header.make (name, pos) imports keywords;
 
     val _ = Position.reports (map #2 imports ~~ map Theory.get_markup parents);
isabelle