src/Pure/PIDE/command.ML
changeset 55708 f4b114070675
parent 55429 4a50f9e70dc1
child 55709 4e5a83a46ded
     1.1 --- a/src/Pure/PIDE/command.ML	Mon Feb 24 00:04:48 2014 +0100
     1.2 +++ b/src/Pure/PIDE/command.ML	Mon Feb 24 10:17:29 2014 +0100
     1.3 @@ -132,7 +132,7 @@
     1.4        Position.set_range (Token.position_range_of (#1 (take_suffix Token.is_improper span)));
     1.5      val pos =
     1.6        (case find_first Token.is_command span of
     1.7 -        SOME tok => Token.position_of tok
     1.8 +        SOME tok => Token.pos_of tok
     1.9        | NONE => proper_range);
    1.10  
    1.11      val (is_malformed, token_reports) = Thy_Syntax.reports_of_tokens span;