From: Mark Thom <markjordanthom@gmail.com>
Date: Sat, 26 Oct 2019 07:35:26 +0000 (-0600)
Subject: remove all mention of [clear] from the README
X-Git-Tag: v0.8.116~15
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=2eea0528b1a714b5f9c5647f10f3f5cbb51c39b6;p=scryer-prolog.git

remove all mention of [clear] from the README
---

diff --git a/README.md b/README.md
index 564c757c..28f254e2 100644
--- a/README.md
+++ b/README.md
@@ -299,11 +299,6 @@ 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` in an example above).
 
-To clear the database, type
-```
-?- [clear].
-```
-
 To quit scryer-prolog, type
 ```
 ?- halt.