Petrolacosaurus is an extinct genus of diapsid reptile from the late Carboniferous period. It was a small 40-centimetre long reptile and the earliest known reptile with two temporal fenestrae.
