diff options
| author | Hugo Herbelin | 2020-05-18 18:15:27 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2020-05-18 18:15:27 +0200 |
| commit | 2222e455f0501b700f198ab614d8743229062f73 (patch) | |
| tree | ccdb912bdc17be6929cc41d95dd7a894d5c3d2d3 /vernac/comProgramFixpoint.ml | |
| parent | ea6cb6b542e8c356192bb77f234586e0f6d55c8c (diff) | |
| parent | 3decaca622bd0005c861000529c9b006f1b6a7d7 (diff) | |
Merge PR #12289: test-suite: fix bug causing unit tests to be skipped
Reviewed-by: herbelin
Diffstat (limited to 'vernac/comProgramFixpoint.ml')
0 files changed, 0 insertions, 0 deletions