diff options
Diffstat (limited to 'proofs/lfsc_checker/check.cpp')
| -rw-r--r-- | proofs/lfsc_checker/check.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/proofs/lfsc_checker/check.cpp b/proofs/lfsc_checker/check.cpp index b550c58a1..c96791aeb 100644 --- a/proofs/lfsc_checker/check.cpp +++ b/proofs/lfsc_checker/check.cpp @@ -61,7 +61,7 @@ void report_error(const string &msg) { not_defeq2->print(cout); } cout.flush(); - _exit(1); + exit(1); } Expr *call_run_code(Expr *code) { |