remove entailed must_be/2 goals

diff --git a/src/lib/files.pl b/src/lib/files.pl
index f0bdaafbbff671d5e897119d2817ed98dd80f560..aa18ea78383000a7f89fec8babaaf923ccd581e1 100644 (file)
--- 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).