diff --git a/gcc/ada/errout.adb b/gcc/ada/errout.adb
index 0b5de5c8d35..09e8e591f15 100644
--- a/gcc/ada/errout.adb
+++ b/gcc/ada/errout.adb
@@ -1125,6 +1125,7 @@ package body Errout is
                   --  without any further processing.
 
                   pragma Assert (not Continuation);
+
                   Last_Killed := True;
                   return;
                end if;
diff --git a/gcc/ada/frontend.adb b/gcc/ada/frontend.adb
index 16f2a25061d..ff5418a1340 100644
--- a/gcc/ada/frontend.adb
+++ b/gcc/ada/frontend.adb
@@ -412,7 +412,7 @@ begin
 
          pragma Assert
            (Operating_Mode = Generate_Code
-              or else Operating_Mode = Check_Semantics);
+             or else Operating_Mode = Check_Semantics);
 
          if Operating_Mode = Generate_Code
            or else (ASIS_Mode or GNATprove_Mode)