AFAIK - Synapsida were originally termed mammal-like reptiles before the Amniota group was applied.

You're probably right I'm no expert