From: Mark Thom Date: Tue, 15 Aug 2017 20:28:28 +0000 (-0600) Subject: tweak README X-Git-Tag: v0.8.110~697 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=1a7edc2d134488be20b5aaa7dafbfefb799c9cc0;p=scryer-prolog.git tweak README --- diff --git a/README.md b/README.md index b938794f..0f7fcca1 100644 --- a/README.md +++ b/README.md @@ -124,5 +124,4 @@ X = call(f, z). 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 underscore (`X = _0` is an example in the -above). \ No newline at end of file +a number preceded by an underscore (`X = _0` in an example above). \ No newline at end of file