diff options
| author | Son Ho | 2023-07-04 12:49:37 +0200 |
|---|---|---|
| committer | Son Ho | 2023-07-04 12:49:37 +0200 |
| commit | 4fd17e4bb91eb46d4704643dfbfbbf0874837b07 (patch) | |
| tree | 5ebcc4cda3a522e7bad4e475423b87fd83279420 /tests/hol4/misc-no_nested_borrows/Holmakefile | |
| parent | 40e21034fa9e955734351b78a8cc5f16315418bd (diff) | |
Make Diverge use Primitives
Diffstat (limited to 'tests/hol4/misc-no_nested_borrows/Holmakefile')
0 files changed, 0 insertions, 0 deletions