Small fixes in documentation and toplevel.pl

2024-01-03 19:52:50 +01:00
parent 47b5ae7984
commit d58e91303b
3 changed files with 3 additions and 2 deletions
--- 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.