[Ada] Missing check on private overriding of dispatching primitive

[gcc.git] / gcc / ada / libgnat / g-exptty.adb

diff --git a/gcc/ada/libgnat/g-exptty.adb b/gcc/ada/libgnat/g-exptty.adb
index ae2d64a2fdf9cb707e56b051f87325aa5337e8cb..bc239e48651663328309e9f6510234d41c780865 100644 (file)
--- a/gcc/ada/libgnat/g-exptty.adb
+++ b/gcc/ada/libgnat/g-exptty.adb
@@ -314,9 +314,9 @@ package body GNAT.Expect.TTY is
    overriding procedure Set_Up_Communications
      (Pid        : in out TTY_Process_Descriptor;
       Err_To_Out : Boolean;
-      Pipe1      : access Pipe_Type;
-      Pipe2      : access Pipe_Type;
-      Pipe3      : access Pipe_Type)
+      Pipe1      : not null access Pipe_Type;
+      Pipe2      : not null access Pipe_Type;
+      Pipe3      : not null access Pipe_Type)
    is
       pragma Unreferenced (Err_To_Out, Pipe1, Pipe2, Pipe3);