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.scala
changeset 48870 4accee106f0f
parent 48707 ba531af91148
child 48871 c82720f054c3 
--- a/src/Pure/Thy/thy_info.scala	Tue Aug 21 11:00:54 2012 +0200
+++ b/src/Pure/Thy/thy_info.scala	Tue Aug 21 12:15:25 2012 +0200
@@ -36,7 +36,7 @@
   {
     val (deps, seen) = required
     if (seen(name)) required
-    else if (thy_load.is_loaded(name.theory)) (deps, seen + name)
+    else if (thy_load.loaded_theories(name.theory)) (deps, seen + name)
     else {
       try {
         if (initiators.contains(name)) error(cycle_msg(initiators))
isabelle