From: Mark Thom Date: Fri, 14 May 2021 05:17:30 +0000 (-0600) Subject: Merge pull request #955 from pmoura/fix_abolish_predicate_throw_of_instantiation_error X-Git-Tag: v0.9.0~68 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=c8d0f6ff20fdaf678547dfae5d29a3093bd664ec;p=scryer-prolog.git Merge pull request #955 from pmoura/fix_abolish_predicate_throw_of_instantiation_error Fix abolish/1 predicate throw of instantiation_error --- c8d0f6ff20fdaf678547dfae5d29a3093bd664ec