• Robbert Krebbers's avatar
    Fix compilation with Coq master. · cfcd6329
    Robbert Krebbers authored
    The `[$]` pattern was used in an ambiguous way; there where multiple
    hypotheses that could be used, and for some reason a different is
    picked now.
    cfcd6329
queue.v 21.3 KB