diff --git a/src/util/rlimit.cpp b/src/util/rlimit.cpp index 0728c48be..fa34a9555 100644 --- a/src/util/rlimit.cpp +++ b/src/util/rlimit.cpp @@ -84,7 +84,7 @@ void reslimit::pop_child() { void reslimit::cancel() { #pragma omp critical (reslimit_cancel) { - set_cancel(false); + set_cancel(true); } }