diff options
| author | Brian Campbell | 2019-04-05 10:51:16 +0100 |
|---|---|---|
| committer | Brian Campbell | 2019-04-05 10:57:19 +0100 |
| commit | e9ecc057647d1a13c2eefda0a66a411a6aa17e35 (patch) | |
| tree | ff4c40df65b54868207b9624ec15c073349193de /src/specialize.ml | |
| parent | d3db47ec529df0c552055024e727f9f34ffe95e9 (diff) | |
Coq: add missing effectful existential unpacking case
Diffstat (limited to 'src/specialize.ml')
0 files changed, 0 insertions, 0 deletions