From 1a7edc2d134488be20b5aaa7dafbfefb799c9cc0 Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Tue, 15 Aug 2017 14:28:28 -0600 Subject: [PATCH] tweak README --- README.md | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) 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 -- 2.54.0