From d58e91303bf97ab0484faea02ec6a104afe165d2 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Adri=C3=A1n=20Arroyo=20Calle?= Date: Wed, 3 Jan 2024 19:52:50 +0100 Subject: [PATCH] Small fixes in documentation and toplevel.pl --- src/lib/files.pl | 2 +- src/lib/os.pl | 1 + src/toplevel.pl | 2 +- 3 files changed, 3 insertions(+), 2 deletions(-) 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)). -- 2.54.0