]> Repositorios git - scryer-prolog.git/commitdiff
Merge pull request #1655 from triska/deref_register
authorMark Thom <[email protected]>
Sat, 10 Dec 2022 17:08:26 +0000 (18:08 +0100)
committerGitHub <[email protected]>
Sat, 10 Dec 2022 17:08:26 +0000 (18:08 +0100)
more uses of newly available deref_register(n)


Trivial merge