From: Mark Thom <markjordanthom@gmail.com>
Date: Tue, 30 Nov 2021 00:38:30 +0000 (-0500)
Subject: Merge pull request #1120 from triska/char_type_correction
X-Git-Tag: v0.9.0~14
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=7abdade7c1e3f9d8fdd3c83a0bc0f794f2f189b7;p=scryer-prolog.git

Merge pull request #1120 from triska/char_type_correction

ENHANCED: Correct type error for char_type/2.
---

7abdade7c1e3f9d8fdd3c83a0bc0f794f2f189b7