]> Repositorios git - scryer-prolog.git/commit
remove operators declared at user-level from files when reloading
authorMark Thom <[email protected]>
Tue, 16 Mar 2021 19:47:30 +0000 (13:47 -0600)
committerMark Thom <[email protected]>
Wed, 17 Mar 2021 00:30:34 +0000 (18:30 -0600)
commit5f7abda22d92181f669cae2b0ebe2d26bb4c6ed6
tree218f067351cb4e2a880b27b6e491a1767a256913
parent51424aed32e960511154379a8ca0975867278a04
remove operators declared at user-level from files when reloading
src/forms.rs
src/machine/load_state.rs
src/machine/loader.rs
src/machine/machine_indices.rs