From: Markus Triska <triska@metalevel.at>
Date: Sun, 19 Apr 2020 17:17:00 +0000 (+0200)
Subject: update answer to use the latest toplevel improvements
X-Git-Tag: v0.8.123~124^2~1
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=c0df8cb578916e9b4a077b56b8511ecfeb0d66a8;p=scryer-prolog.git

update answer to use the latest toplevel improvements
---

diff --git a/README.md b/README.md
index 652e7b98..d0c06988 100644
--- a/README.md
+++ b/README.md
@@ -185,8 +185,8 @@ arithmetic operators with the usual precedences,
 
 ```
 ?- write_canonical(-5 + 3 - (2 * 4) // 8), nl.
-   -(+(-5,3),//(*(2,4),8))
-true.
+-(+(-5,3),//(*(2,4),8))
+   true.
 ```
 
 New operators can be defined using the `op` declaration.