diff options
| author | Estevan Castilho <tevo@riajuu.net> | 2026-08-29 02:29:07 +0000 |
|---|---|---|
| committer | Estevan Castilho <tevo@riajuu.net> | 2026-08-29 02:29:07 +0000 |
| commit | 207beed2554a5b717625d5d64fd4bcf7e516d2df (patch) | |
| tree | 99745ddc788ccb5e2b6001506194a3291a0129b9 /test/unit/kernel/SubstantialRelation.ml | |
| parent | 5fe3502865a9d9e187bb9560dc42bb7a1439e588 (diff) | |
| download | RNT-207beed2554a5b717625d5d64fd4bcf7e516d2df.tar.gz RNT-207beed2554a5b717625d5d64fd4bcf7e516d2df.zip | |
Make it build again
Diffstat (limited to 'test/unit/kernel/SubstantialRelation.ml')
0 files changed, 0 insertions, 0 deletions