Skip to content

Remove needless later in total adequacy.

Robbert Krebbers requested to merge robbert/total_adequacy_later into master

I don't know why this later was there in the first place, but Coq confirms it's not needed :).

Edited by Robbert Krebbers

Merge request reports