]> Repositorios git - scryer-prolog.git/commitdiff
Merge pull request #1257 from mthom/rebis-dev_improved-length
authorMark Thom <[email protected]>
Sun, 30 Jan 2022 18:30:16 +0000 (11:30 -0700)
committerGitHub <[email protected]>
Sun, 30 Jan 2022 18:30:16 +0000 (11:30 -0700)
Improved length/2 and arg/3 range checking


Trivial merge