From c1571bf06394270f912c62ebb94384ff6c67355f Mon Sep 17 00:00:00 2001 From: Francis Fortier Date: Thu, 5 Dec 2024 09:38:38 -0500 Subject: [PATCH] export toplevel repl/0 --- src/toplevel.pl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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)). -- 2.54.0