diff options
| author | Son Ho | 2023-12-07 14:42:08 +0100 |
|---|---|---|
| committer | Son Ho | 2023-12-07 14:42:08 +0100 |
| commit | 2fc876ab40bed10e36f6ee6581f516cdda3b9bc4 (patch) | |
| tree | 41c2a1c17627741ffcc587531da9870e65833ddd /tests/hol4/Holmakefile.template | |
| parent | c17d8cbb7c32d2c2ce9d737fe5359cfbe7d4418c (diff) | |
Fix the extraction of the empty type
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions