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