]> Repositorios git - scryer-prolog.git/commitdiff
Merge pull request #2277 from triska/master
authorMark Thom <[email protected]>
Mon, 8 Jan 2024 01:59:18 +0000 (18:59 -0700)
committerGitHub <[email protected]>
Mon, 8 Jan 2024 01:59:18 +0000 (18:59 -0700)
Correct arithmetic disequalities accidentally broken in f5d9a67f3688ec9bb08dd3add05614552e082555


Trivial merge