From: Markus Triska <triska@metalevel.at>
Date: Sat, 25 Apr 2020 18:01:04 +0000 (+0200)
Subject: update toplevel interaction
X-Git-Tag: v0.8.123~106^2~4^2~1
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=f27597cab52acd1b09290cb139c1be9989258731;p=scryer-prolog.git

update toplevel interaction
---

diff --git a/README.md b/README.md
index 64768c23..52b29734 100644
--- a/README.md
+++ b/README.md
@@ -343,7 +343,6 @@ REPL:
 
 ```
 ?- [user].
-(type Enter + Ctrl-D to terminate the stream when finished)
 :- module(test, [local_member/2]).
 :- use_module(library(lists)).