proper cumulation of bulk arguments;
authorwenzelm
Mon Jan 09 23:09:03 2012 +0100 (2012-01-09)
changeset 461650e131ca93a49
parent 46164 a01c969f2e14
child 46166 4beb2f41ed93
proper cumulation of bulk arguments;
src/Pure/PIDE/markup_tree.scala
     1.1 --- a/src/Pure/PIDE/markup_tree.scala	Mon Jan 09 23:08:33 2012 +0100
     1.2 +++ b/src/Pure/PIDE/markup_tree.scala	Mon Jan 09 23:09:03 2012 +0100
     1.3 @@ -117,7 +117,7 @@
     1.4            (entry.markup :\ (x, false))((info, res) =>
     1.5              {
     1.6                val (y, changed) = res
     1.7 -              val arg = (x, Text.Info(entry.range, info))
     1.8 +              val arg = (y, Text.Info(entry.range, info))
     1.9                if (body.result.isDefinedAt(arg)) (body.result(arg), true)
    1.10                else res
    1.11              })