Minor reformatting.
authorArnaud Charlet <charlet@gcc.gnu.org>
Mon, 4 Jul 2016 10:48:59 +0000 (12:48 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Mon, 4 Jul 2016 10:48:59 +0000 (12:48 +0200)
From-SVN: r237974

gcc/ada/errout.adb
gcc/ada/frontend.adb

index 0b5de5c8d35d97d0b5f12b7808e3dd5cae4fdab5..09e8e591f1562809b154abbeaa1c140b421133cd 100644 (file)
@@ -1125,6 +1125,7 @@ package body Errout is
                   --  without any further processing.
 
                   pragma Assert (not Continuation);
+
                   Last_Killed := True;
                   return;
                end if;
index 16f2a25061d0538f46589a09b3caac54c327d00b..ff5418a13409f51f71958d7e11d3e17163683fe5 100644 (file)
@@ -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)