Skip to content

Update prelude file to use new ssreflect file from std++.

Robbert Krebbers requested to merge robbert/ssreflect into master

Follow up of stdpp!471 (merged)

Merge request reports