src/Tools/induct.ML
changeset 42284 326f57825e1a
parent 41228 e1fce873b814
child 42361 23f352990944
     1.1 --- a/src/Tools/induct.ML	Fri Apr 08 11:39:45 2011 +0200
     1.2 +++ b/src/Tools/induct.ML	Fri Apr 08 13:31:16 2011 +0200
     1.3 @@ -580,7 +580,7 @@
     1.4    in
     1.5      if not (null params) then
     1.6        (warning ("Cannot determine rule instantiation due to pending parameter(s): " ^
     1.7 -        commas_quote (map (Syntax.string_of_term ctxt o Syntax.mark_boundT) params));
     1.8 +        commas_quote (map (Syntax.string_of_term ctxt o Syntax_Trans.mark_boundT) params));
     1.9        Seq.single rule)
    1.10      else
    1.11        let