]> Repositorios git - scryer-prolog.git/commit
fix some more miri errors
authorBennet Bleßmann <[email protected]>
Sat, 6 Jul 2024 01:41:12 +0000 (03:41 +0200)
committerBennet Bleßmann <[email protected]>
Sat, 6 Jul 2024 01:52:46 +0000 (03:52 +0200)
commit6575b1b57304d8c7c89032f22c0751b83fe591b2
tree82ed594c1eea02cc53455caa740688da20113599
parentcba81b4dc7285a391a2b7aa5c781e2adb57c0469
fix some more miri errors

probably relevant to mthom/scryer-prolog#2438
src/arena.rs
src/heap_print.rs
src/machine/copier.rs
src/machine/lib_machine.rs