Skip to content

Commit b1c019f

Browse files
committed
V126-011 Fix compilation warnings of GCC 11
Change-Id: I6bf66badff9ab6197c73297970cccc5e62e0ce7f
1 parent df93413 commit b1c019f

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

src/gnatcoll-io-remote.adb

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -851,6 +851,7 @@ package body GNATCOLL.IO.Remote is
851851
end case;
852852

853853
GNAT.OS_Lib.Delete_File (String (Tmp) & File.Tmp_Name, Dead);
854+
pragma Assert (Dead, "couldn't delete temp file");
854855
end Close;
855856

856857
----------------

0 commit comments

Comments
 (0)