bad test (#14852)

Commit

3 years ago

fix(tactic/norm_num): fix bad proof / bad test (#14852) This is a bug in master but it was first noticed in #14683.

Author

digama0

Parents