export toplevel repl/0
This commit is contained in:
@@ -1,4 +1,4 @@
|
|||||||
:- module('$toplevel', []).
|
:- module('$toplevel', [repl/0]).
|
||||||
|
|
||||||
:- use_module(library(charsio)).
|
:- use_module(library(charsio)).
|
||||||
:- use_module(library(error)).
|
:- use_module(library(error)).
|
||||||
|
|||||||
Reference in New Issue
Block a user