fix #16424, allow redefining a type to an equivalent one#20592

Merged

JeffBezanson merged 1 commit intomasterfrom jb/fix16424

Feb 13, 2017

+110-32

Commits on Feb 13, 2017

fix #16424 , allow redefining a type to an equivalent one
JeffBezanson
committed