blob: 9224a09f904946142c0586e5329976d13533088c (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
--- a/gpr/src/gpr-util.adb 2022-03-19 22:41:32.372348082 +0100
+++ b/gpr/src/gpr-util.adb 2022-03-19 22:41:54.325010633 +0100
@@ -3634,7 +3634,7 @@
end if;
end loop;
- return Ret;
+ return Ret(1 .. Length - Separator'Length);
end;
end Concat_Paths;
|