diff options
| author | Théo Zimmermann | 2020-11-03 14:28:35 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2020-11-03 14:28:35 +0100 |
| commit | 2812f8323e46e22ccde1606c71d908059b732e44 (patch) | |
| tree | f1ac258e10505f1322caba0debfdf515415a728f /vernac/comProgramFixpoint.ml | |
| parent | dfdecf24210ee287d554cf4296bd0ccfffe310d8 (diff) | |
Fix test-suite in async mode.
(By closing unfinished proofs.)
Diffstat (limited to 'vernac/comProgramFixpoint.ml')
0 files changed, 0 insertions, 0 deletions