From f27597cab52acd1b09290cb139c1be9989258731 Mon Sep 17 00:00:00 2001
From: Markus Triska <triska@metalevel.at>
Date: Sat, 25 Apr 2020 20:01:04 +0200
Subject: [PATCH] update toplevel interaction

---
 README.md | 1 -
 1 file changed, 1 deletion(-)

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)).
 
-- 
2.54.0