diff options
| author | Gard Spreemann <gspreemann@gmail.com> | 2018-09-09 05:51:46 +0200 |
|---|---|---|
| committer | Gard Spreemann <gspreemann@gmail.com> | 2018-09-09 05:51:46 +0200 |
| commit | 75d365e9df3b9c25f48a475a53188668b5cd2951 (patch) | |
| tree | 3906301decc85aeaedf90e140550f5836a6e7fac /example/Simplex_tree | |
| parent | 41482b4260b4aff3d6803e340d5c94fbefb9af67 (diff) | |
| parent | ef5c01b599c6a6b23b1f3e92736ec67a6e62b55f (diff) | |
Merge branch 'upstream/latest' into dfsg/latest
Diffstat (limited to 'example/Simplex_tree')
| -rw-r--r-- | example/Simplex_tree/cech_complex_cgal_mini_sphere_3d.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/example/Simplex_tree/cech_complex_cgal_mini_sphere_3d.cpp b/example/Simplex_tree/cech_complex_cgal_mini_sphere_3d.cpp index 08ed74bb..34092ef6 100644 --- a/example/Simplex_tree/cech_complex_cgal_mini_sphere_3d.cpp +++ b/example/Simplex_tree/cech_complex_cgal_mini_sphere_3d.cpp @@ -171,7 +171,7 @@ void program_options(int argc, char* argv[], std::string& off_file_points, Filtr std::cout << "Usage: " << argv[0] << " [options] input-file" << std::endl << std::endl; std::cout << visible << std::endl; - std::abort(); + exit(-1); } } |