diff options
| author | Son Ho | 2023-09-18 10:08:20 +0200 |
|---|---|---|
| committer | Son Ho | 2023-09-18 10:08:20 +0200 |
| commit | 888565dd83636522564c6fcae1571735b32125da (patch) | |
| tree | 774548e8855905eb33d92d37efb7bb396b060752 /compiler/ExtractBase.ml | |
| parent | 242aca3092c6594206896ea62eb40395accc8459 (diff) | |
Fix an issue when loading the saved theorem maps for the progress tactic
Diffstat (limited to 'compiler/ExtractBase.ml')
0 files changed, 0 insertions, 0 deletions