src/Pure/ProofGeneral/proof_general_pgip.ML
changeset 23884 1d39ec4fe73f
parent 23869 c886d9897237
child 23913 fcfacb6670ed
     1.1 --- a/src/Pure/ProofGeneral/proof_general_pgip.ML	Fri Jul 20 15:29:25 2007 +0200
     1.2 +++ b/src/Pure/ProofGeneral/proof_general_pgip.ML	Fri Jul 20 17:54:15 2007 +0200
     1.3 @@ -692,14 +692,14 @@
     1.4  
     1.5          fun filerefs f =
     1.6              let val thy = thy_name f
     1.7 -                val (_, (_,filerefs)) = ThyLoad.deps_thy [Path.dir f] thy true
     1.8 +                val (_, (_,filerefs)) = ThyLoad.deps_thy (Path.dir f) thy true
     1.9              in
    1.10                  issue_pgip (Setrefs {url=url, thyname=NONE, objtype=SOME PgipTypes.ObjFile,
    1.11                                       name=NONE, idtables=[], fileurls=filerefs})
    1.12              end
    1.13  
    1.14          fun thyrefs thy =
    1.15 -            let val (_, (thyrefs,_)) = ThyLoad.deps_thy [] thy true
    1.16 +            let val (_, (thyrefs,_)) = ThyLoad.deps_thy Path.current thy true
    1.17              in
    1.18                  issue_pgip (Setrefs {url=url, thyname=thyname, objtype=SOME PgipTypes.ObjTheory,
    1.19                                       name=NONE, idtables=[{context=NONE, objtype=PgipTypes.ObjTheory,