src/Pure/tactic.ML
changeset 24244 d7ee11ba1534
parent 23539 df5440e241a1
child 25939 ddea202704b4
     1.1 --- a/src/Pure/tactic.ML	Mon Aug 13 18:10:20 2007 +0200
     1.2 +++ b/src/Pure/tactic.ML	Mon Aug 13 18:10:22 2007 +0200
     1.3 @@ -245,7 +245,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.read_indexname) sinsts, rule);
     1.8 +  (st, i, map (apfst Lexicon.read_indexname) sinsts, rule);
     1.9  
    1.10  (*
    1.11  Like lift_inst_rule but takes terms, not strings, where the terms may contain