]> Repositorios git - scryer-prolog.git/commit
Merge pull request #420 from triska/master
authorMark Thom <[email protected]>
Thu, 30 Apr 2020 16:32:21 +0000 (13:32 -0300)
committerGitHub <[email protected]>
Thu, 30 Apr 2020 16:32:21 +0000 (13:32 -0300)
commita821daadd3aa5d8b7d2e3481ab78f7812e25ac97
treeea1a295e748759e1318e412ff45536cb46911c63
parentf7b401b9b65ca1dc7a0b64cca907d40076f4aa5f
parenta39f4b4487588f4ca7e43dbd92ea9503b830fa4b
Merge pull request #420 from triska/master

correct verify_attributes/3 for variables that have no CLP(ℤ) attribute attached (#373)