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)).