From: Adrián Arroyo Calle Date: Wed, 3 Jan 2024 18:52:50 +0000 (+0100) Subject: Small fixes in documentation and toplevel.pl X-Git-Tag: v0.9.4~46^2 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=d58e91303bf97ab0484faea02ec6a104afe165d2;p=scryer-prolog.git Small fixes in documentation and toplevel.pl --- diff --git a/src/lib/files.pl b/src/lib/files.pl index 6d89eaad..6c50aeeb 100644 --- a/src/lib/files.pl +++ b/src/lib/files.pl @@ -178,7 +178,7 @@ directory_must_exist(Directory, Context) :- ; throw(error(existence_error(directory, Directory), Context)) ). -%% workind_directory(Dir0, Dir). +%% working_directory(Dir0, Dir). % % Dir0 is the current working directory, and the working directory % is changed to Dir. diff --git a/src/lib/os.pl b/src/lib/os.pl index a991bd6c..10eb0040 100644 --- a/src/lib/os.pl +++ b/src/lib/os.pl @@ -129,6 +129,7 @@ raw_argv(Argv) :- % arguments and the program arguments, we use `--` as a separator. % % Example: +% % ``` % % Call with scryer-prolog -f -- -t hello % ?- argv(X). diff --git a/src/toplevel.pl b/src/toplevel.pl index 1b7e63a7..e654103d 100644 --- a/src/toplevel.pl +++ b/src/toplevel.pl @@ -1,4 +1,4 @@ -:- module('$toplevel', [copy_term/3, started/0]). +:- module('$toplevel', [copy_term/3]). :- use_module(library(atts), [call_residue_vars/2]). :- use_module(library(charsio)).