From: Mark Thom <markjordanthom@gmail.com>
Date: Tue, 5 May 2020 17:10:24 +0000 (-0300)
Subject: Merge pull request #460 from notoria/get_single_char
X-Git-Tag: v0.8.123~58^2~1
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=bf3cc5a36773c8a13b8defa57b979709c09ad982;p=scryer-prolog.git

Merge pull request #460 from notoria/get_single_char

Fixed ctrl-c issue with get_single_char/1
---

bf3cc5a36773c8a13b8defa57b979709c09ad982