lace.environ.paths: Rid incorrect 'check's of destination paths.

2023-10-17 15:47:40 +11:00
parent 6a4f1c148c
commit bbf195bbe5
2 changed files with 2 additions and 5 deletions
--- a/1-base/lace/source/environ/lace-environ-paths.adb
+++ b/1-base/lace/source/environ/lace-environ-paths.adb
@@ -706,8 +706,6 @@ is
   is
   begin
      check (Self);
-      check (To);
-
      ada.Directories.copy_File (+Self, +To);
   end copy_File;

@@ -749,7 +747,6 @@ is
   is
   begin
      check (Self);
-      check (To);

      -- 'Ada.Directories.Rename' fails when the file is moved across a device.
      -- For instance     Rename ("/tmp/a_file", "/home/user/a_file");