src/Pure/Tools/build.scala
changeset 59692 03aa1b63af10
parent 59445 2c27c3d1fd3b
child 59705 740a0ca7e09b
     1.1 --- a/src/Pure/Tools/build.scala	Fri Mar 13 21:35:48 2015 +0100
     1.2 +++ b/src/Pure/Tools/build.scala	Sat Mar 14 16:56:11 2015 +0100
     1.3 @@ -242,7 +242,7 @@
     1.4                { case _ ~ (_ ~ (x ~ _)) => x } | success("document")) ~
     1.5              rep1(path)) ^^ { case _ ~ (x ~ y) => y.map((x, _)) }
     1.6  
     1.7 -      command(SESSION) ~!
     1.8 +      position(command(SESSION)) ~!
     1.9          (session_name ~
    1.10            (($$$("(") ~! (rep1(name) <~ $$$(")")) ^^ { case _ ~ x => x }) | success(Nil)) ~
    1.11            (($$$(IN) ~! path ^^ { case _ ~ x => x }) | success(".")) ~
    1.12 @@ -253,7 +253,7 @@
    1.13                rep1(theories) ~
    1.14                (($$$(FILES) ~! rep1(path) ^^ { case _ ~ x => x }) | success(Nil)) ~
    1.15                (rep(document_files) ^^ (x => x.flatten))))) ^^
    1.16 -        { case pos ~ (a ~ b ~ c ~ (_ ~ (d ~ e ~ f ~ g ~ h ~ i))) =>
    1.17 +        { case (_, pos) ~ (a ~ b ~ c ~ (_ ~ (d ~ e ~ f ~ g ~ h ~ i))) =>
    1.18              Session_Entry(pos, a, b, c, d, e, f, g, h, i) }
    1.19      }
    1.20