src/Pure/tactic.ML
changeset 20302 265b2342cf21
parent 20232 31998a8c7f25
child 21687 f689f729afab
     1.1 --- a/src/Pure/tactic.ML	Wed Aug 02 22:26:55 2006 +0200
     1.2 +++ b/src/Pure/tactic.ML	Wed Aug 02 22:26:56 2006 +0200
     1.3 @@ -265,7 +265,7 @@
     1.4  end;
     1.5  
     1.6  fun lift_inst_rule (st, i, sinsts, rule) = lift_inst_rule'
     1.7 -  (st, i, map (apfst Syntax.indexname) sinsts, rule);
     1.8 +  (st, i, map (apfst Syntax.read_indexname) sinsts, rule);
     1.9  
    1.10  (*
    1.11  Like lift_inst_rule but takes terms, not strings, where the terms may contain