comment in functor.lean

Stream: maths

[Johan Commelin]

Do I understand correctly that this comment is no longer accurate?
https://github.com/leanprover/mathlib/blob/master/category_theory/functor.lean#L28-L29
I think it refers to behaviour of an older version of restate_axiom.

[Johan Commelin]

@Scott Morrison :up:

[Scott Morrison]

That's right, the comment needs updating.