diff options
| author | Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net> | 2022-11-28 11:45:58 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-11-28 11:45:58 +0100 |
| commit | 5be9ae2235b16239f023a36679b7d515dd774c68 (patch) | |
| tree | f90ecb4045c08a0d92a086468869261d4f61d9bc /backend/Selection.v | |
| parent | db8a63f28efbdc3bcbe170320bef4102be3b13da (diff) | |
| download | compcert-5be9ae2235b16239f023a36679b7d515dd774c68.tar.gz compcert-5be9ae2235b16239f023a36679b7d515dd774c68.zip | |
Fix incomplete checking of unsolved holes (#465)
Adaptation to https://github.com/coq/coq/pull/16743
Diffstat (limited to 'backend/Selection.v')
0 files changed, 0 insertions, 0 deletions