diff options
| author | Son Ho | 2023-12-21 15:25:06 +0100 |
|---|---|---|
| committer | Son Ho | 2023-12-21 15:25:06 +0100 |
| commit | d9f91cfcd538525f024c6019d7c8250dda8d76fd (patch) | |
| tree | 511db3d6ab5036f0de1b665ff22923d9a068f41a /tests/hol4/misc-loops/Holmakefile | |
| parent | 435fe4cf63869448e2b25486b564ede9efa9a34b (diff) | |
Remove some asserts which are now useless
Diffstat (limited to 'tests/hol4/misc-loops/Holmakefile')
0 files changed, 0 insertions, 0 deletions