diff options
| author | Son Ho | 2024-04-03 17:36:05 +0200 |
|---|---|---|
| committer | Son Ho | 2024-04-03 17:36:05 +0200 |
| commit | 3fdb4ca62155b6d913bceb7797ee9e10263cb087 (patch) | |
| tree | fcdea76e394d5e5c747973e4176ba74fceb85b93 /tests/fstar/betree/BetreeMain.FunsExternal.fsti | |
| parent | 944a46fe61018e2b4266f19297daa822b41cf9e7 (diff) | |
Remove the check for CHARON_HOME
Diffstat (limited to 'tests/fstar/betree/BetreeMain.FunsExternal.fsti')
0 files changed, 0 insertions, 0 deletions