Merge pull request #2268 from aarroyoc/docs-toplevel

Small fixes in documentation and toplevel.pl
mthom · Jan 3, 2024 · 5abc72c · 5abc72c
2 parents ccf581d + d58e913
commit 5abc72c
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 2 deletions.
diff --git 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
@@ -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
@@ -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)).