• Robbert Krebbers's avatar
    Compilation fixes. · ad2e80d6
    Robbert Krebbers authored
    Fix both an error by my, and a provide compatibility with older Coq versions
    whose `lia` is less powerful.
    ad2e80d6