Line data    Source code

       1            0 : // Distributed under the MIT License.
       2              : // See LICENSE.txt for details.
       3              : 
       4              : #pragma once
       5              : 
       6              : namespace sys {
       7              : 
       8              : /// \ingroup UtilitiesGroup
       9              : /// \brief Exit the program normally.
      10              : /// This should only be called once over all processors.
      11            1 : [[noreturn]] void exit(int exit_code = 0);
      12              : 
      13              : }  // namespace sys