Which of these was not a dinosaur?

Ornithomimus

Dimetrodon

Archaeopteryx

Polacanthus