From: Mark Thom Date: Thu, 30 Apr 2020 16:32:21 +0000 (-0300) Subject: Merge pull request #420 from triska/master X-Git-Tag: v0.8.123~90 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=a821daadd3aa5d8b7d2e3481ab78f7812e25ac97;p=scryer-prolog.git Merge pull request #420 from triska/master correct verify_attributes/3 for variables that have no CLP(ℤ) attribute attached (#373) --- a821daadd3aa5d8b7d2e3481ab78f7812e25ac97