From: Francis Fortier Date: Thu, 5 Dec 2024 14:38:38 +0000 (-0500) Subject: export toplevel repl/0 X-Git-Tag: v0.10.0~94^2 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=c1571bf06394270f912c62ebb94384ff6c67355f;p=scryer-prolog.git export toplevel repl/0 --- 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)).