From 44825826df0820dcb58c2bde3dbadd12acdfd668 Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Sun, 14 Aug 2022 08:11:15 +0200 Subject: [PATCH] remove entailed must_be/2 goals --- src/lib/files.pl | 3 --- 1 file changed, 3 deletions(-) diff --git a/src/lib/files.pl b/src/lib/files.pl index f0bdaafb..aa18ea78 100644 --- a/src/lib/files.pl +++ b/src/lib/files.pl @@ -73,7 +73,6 @@ directory_files(Directory, Files) :- file_size(File, Size) :- file_must_exist(File, file_size/2), - must_be(chars, File), can_be(integer, Size), '$file_size'(File, Size). @@ -95,12 +94,10 @@ make_directory_path(Directory) :- delete_file(File) :- file_must_exist(File, delete_file/1), - must_be(chars, File), '$delete_file'(File). rename_file(File, Renamed) :- file_must_exist(File, rename_file/2), - must_be(chars, File), must_be(chars, Renamed), '$rename_file'(File, Renamed). -- 2.54.0