diff options
author | Gard Spreemann <gspreemann@gmail.com> | 2018-09-09 21:48:33 +0200 |
---|---|---|
committer | Gard Spreemann <gspreemann@gmail.com> | 2018-09-09 21:48:33 +0200 |
commit | 837ebff38036ad0ab3a29da9de879046f1c20ddb (patch) | |
tree | 87a58a01bbdbfe1ea4cc821ea2ee61bf0782c8c0 /utilities/Witness_complex/weak_witness_persistence.cpp | |
parent | 5bbe0dbb9faad7d4d9ffca7e819e9faa477fb5c6 (diff) | |
parent | a2e642954ae39025e041471d486ecbac25dff440 (diff) |
Merge branch 'dfsg/latest' into debian/sid
Diffstat (limited to 'utilities/Witness_complex/weak_witness_persistence.cpp')
-rw-r--r-- | utilities/Witness_complex/weak_witness_persistence.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/utilities/Witness_complex/weak_witness_persistence.cpp b/utilities/Witness_complex/weak_witness_persistence.cpp index 1315d2ba..ea00cfe7 100644 --- a/utilities/Witness_complex/weak_witness_persistence.cpp +++ b/utilities/Witness_complex/weak_witness_persistence.cpp @@ -151,6 +151,6 @@ void program_options(int argc, char* argv[], int& nbL, std::string& file_name, s std::cout << "Usage: " << argv[0] << " [options] input-file" << std::endl << std::endl; std::cout << visible << std::endl; - std::abort(); + exit(-1); } } |