summaryrefslogtreecommitdiff
path: root/tests/hol4/misc-no_nested_borrows/Holmakefile
diff options
context:
space:
mode:
authorSon Ho2023-11-22 14:52:15 +0100
committerSon Ho2023-11-22 14:52:15 +0100
commitd163bb804f3418ea8e2c89fe6e8d1c0587fd544b (patch)
treef7a118ae8c348f601e1e262107dcc098a5ecc2b9 /tests/hol4/misc-no_nested_borrows/Holmakefile
parent138ba20120c288ecef706d4d7babaaafdd0a161b (diff)
Fix an issue with the nix flake and update the flake.lock
Diffstat (limited to 'tests/hol4/misc-no_nested_borrows/Holmakefile')
0 files changed, 0 insertions, 0 deletions