From: notoria <notoria@users.noreply.github.com>
Date: Sat, 18 Apr 2020 12:50:32 +0000 (+0200)
Subject: Merge pull request #1 from triska/get_single_char
X-Git-Tag: v0.8.123~132^2^2~4
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=bd832d0fbba9699d42b7cb14c3a2dda8707f942a;p=scryer-prolog.git

Merge pull request #1 from triska/get_single_char

use get_single_char/1
---

bd832d0fbba9699d42b7cb14c3a2dda8707f942a