diff --git a/src/toplevel.pl b/src/toplevel.pl
index 9ec36fb1..b43ac3cb 100644
--- 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)).