From: Mark Thom <markjordanthom@gmail.com>
Date: Fri, 27 Mar 2020 17:35:17 +0000 (-0300)
Subject: Merge pull request #305 from srenatus/sr/typo
X-Git-Tag: v0.8.119~16^2~4
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=7de39611f363517870c1ada9d9d05325cd2958cc;p=scryer-prolog.git

Merge pull request #305 from srenatus/sr/typo

examples/least_time.pl: fix typo
---

7de39611f363517870c1ada9d9d05325cd2958cc