From: Mark Thom Date: Fri, 16 Dec 2022 03:36:02 +0000 (+0100) Subject: Merge pull request #1662 from mthom/interpreting_disj X-Git-Tag: v0.9.2~251 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=b4b72a31666bd1d49b153d861540e3ec7a41df4d;p=scryer-prolog.git Merge pull request #1662 from mthom/interpreting_disj Fix mishandled if-then-else interpretation (#1659) --- b4b72a31666bd1d49b153d861540e3ec7a41df4d