From: Mark Thom <markjordanthom@gmail.com>
Date: Sat, 24 Jun 2023 15:19:22 +0000 (-0600)
Subject: Merge pull request #1838 from triska/get_line_to_chars
X-Git-Tag: v0.9.2~120
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=2ec45b741379aa8196100455653c3b70242da39e;p=scryer-prolog.git

Merge pull request #1838 from triska/get_line_to_chars

MODIFIED: read_line_to_chars/3 is now called get_line_to_chars/3
---

2ec45b741379aa8196100455653c3b70242da39e