diff options
| author | Son Ho | 2023-12-11 11:31:43 +0100 |
|---|---|---|
| committer | Son Ho | 2023-12-11 11:31:43 +0100 |
| commit | 10a77d17ea06b732106348588bedc6a89766d56f (patch) | |
| tree | 92a3cfabd788a2f74f71157e80b49f722d8d15f1 /compiler/Extract.ml | |
| parent | 3c092169efcbc36a9b435c68c590b36f69204f94 (diff) | |
Reactivate the sanity checks for the progress tactic
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions