update toplevel interaction

diff --git a/README.md b/README.md
index 64768c23f31a52516c6812a55cb3a6a1098d8abd..52b29734f652691d0bfa1fc8ec8ee884fad93951 100644 (file)
--- 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)).