Ticket #1439: prg_exec_fail3.patch

File prg_exec_fail3.patch, 425 bytes (added by Dave Abrahams, 15 years ago)

  • prg_exec_fail3.cpp

     
    1313//  user fatal exceptions. Should fail during run. But not crash.
    1414// ***************************************************************************
    1515
     16#undef NDEBUG
    1617#include <cassert>
    1718
    1819int cpp_main( int, char *[] )  // note the name