src/Pure/Thy/thy_syntax.scala
changeset 54515 570ba266f5b5
parent 54513 5545aff878b1
child 54517 044bee8c5e69
     1.1 --- a/src/Pure/Thy/thy_syntax.scala	Mon Nov 18 23:46:59 2013 +0100
     1.2 +++ b/src/Pure/Thy/thy_syntax.scala	Tue Nov 19 12:57:56 2013 +0100
     1.3 @@ -33,7 +33,7 @@
     1.4  
     1.5        def buffer(): mutable.ListBuffer[Entry] = new mutable.ListBuffer[Entry]
     1.6        var stack: List[(Int, String, mutable.ListBuffer[Entry])] =
     1.7 -        List((0, node_name.theory, buffer()))
     1.8 +        List((0, node_name.toString, buffer()))
     1.9  
    1.10        @tailrec def close(level: Int => Boolean)
    1.11        {
    1.12 @@ -260,7 +260,7 @@
    1.13      val files = span_files(syntax, span)
    1.14      files.map(file => {
    1.15        // FIXME proper thy_load append
    1.16 -      val file_name = Document.Node.Name(name.dir + file, name.dir, "")
    1.17 +      val file_name = Document.Node.Name(name.master_dir + file)
    1.18        (file_name, all_blobs.get(file_name).map(_.sha1_digest))
    1.19      })
    1.20    }