From d58e91303bf97ab0484faea02ec6a104afe165d2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?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 6d89eaad7..6c50aeebd 100644 --- a/src/lib/files.pl +++ b/src/lib/files.pl @@ -178,7 +178,7 @@ ; 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 a991bd6c0..10eb00408 100644 --- a/src/lib/os.pl +++ b/src/lib/os.pl @@ -129,6 +129,7 @@ % 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 1b7e63a70..e654103d3 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)).