From: Mark Thom <markjordanthom@gmail.com>
Date: Mon, 4 Sep 2023 00:39:24 +0000 (-0600)
Subject: Merge pull request #1991 from triska/discoverable_flags
X-Git-Tag: remove~116
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=2ccc238119c529605d462384d8d8f986ddd4f28f;p=scryer-prolog.git

Merge pull request #1991 from triska/discoverable_flags

FIXED: make occurs_check and answer_write_options flags discoverable
---

2ccc238119c529605d462384d8d8f986ddd4f28f