Fix string-format in warning for inductive types

[dranov]

This printed the fixed string "{tyctor}". The formatting syntax works by default following trace, but not in the context of (_ ++ _).

[PratherConid]

Thanks! I think the trace environment is equivalent to m! instead of s!, so I changed the s! ro m!. It doesn't make much difference in this case though.