From: Mark Thom Date: Sat, 25 Feb 2017 19:30:27 +0000 (-0700) Subject: typo fix X-Git-Tag: v0.8.110~770 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=6346612caa4cac878afe4aed65af33de274d2ec7;p=scryer-prolog.git typo fix --- diff --git a/README.md b/README.md index 8f16312e..c47c5a32 100644 --- a/README.md +++ b/README.md @@ -136,7 +136,7 @@ l2> quit Note that the values of variables belonging to successful queries are printed out, on one line each. Uninstantiated variables are denoted by -a number preceded by an uniscore. +a number preceded by an underscore. ## Occurs check