export toplevel repl/0

diff --git a/src/toplevel.pl b/src/toplevel.pl
index 9ec36fb15787a29a0e8c2a99a4d3ae7206cd4c00..b43ac3cb5dcb883754f2befed5d766224f5aa4c2 100644 (file)
--- a/src/toplevel.pl
+++ b/src/toplevel.pl
@@ -1,4 +1,4 @@
-:- module('$toplevel', []).
+:- module('$toplevel', [repl/0]).
 
 :- use_module(library(charsio)).
 :- use_module(library(error)).