update toplevel interaction

This commit is contained in:
Markus Triska
2020-04-25 20:01:04 +02:00
parent 40619c8184
commit f27597cab5

View File

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