]> Repositorios git - scryer-prolog.git/commitdiff
Merge pull request #932 from pmoura/fix_abolish_bug_with_no_existing_predicates
authorMark Thom <[email protected]>
Sat, 8 May 2021 18:39:28 +0000 (12:39 -0600)
committerGitHub <[email protected]>
Sat, 8 May 2021 18:39:28 +0000 (12:39 -0600)
Fix abolish/1 to succeed on non-existing predicates as per standard


Trivial merge