1--  { dg-do run }
2
3with Ada.Text_IO; use Ada.Text_IO;
4with Ada.Strings.Fixed; use Ada.Strings.Fixed;
5
6procedure Fixed_Delete is
7   Str  : String := "a";
8   Str1 : String := Replace_Slice (Str, 2, 2, "");
9   Str2 : String := Delete (Str, 2, 2);
10begin
11   if Str1 /= "a" then
12      raise Program_Error;
13   end if;
14   if Str2 /= "a" then
15      raise Program_Error;
16   end if;
17end Fixed_Delete;
18