]> Repositorios git - scryer-prolog.git/commit
Merge pull request #983 from triska/master
authorMark Thom <[email protected]>
Fri, 4 Jun 2021 00:32:48 +0000 (18:32 -0600)
committerGitHub <[email protected]>
Fri, 4 Jun 2021 00:32:48 +0000 (18:32 -0600)
commit176daeec0314571b4aca3973601af7c65dc8b869
tree7170ffa82e4ad37ddf27dbded51322479bbb0354
parent04121644a335838334fa6f20e9502849d16a1439
parent066f7408192609df43ce6a90f5bf9bc4e33e666f
Merge pull request #983 from triska/master

check for correct domain of integers in reifiable expressions also in the expanded code