diff options
| author | Andres Noetzli <noetzli@stanford.edu> | 2017-05-25 20:01:24 -0700 |
|---|---|---|
| committer | Andres Noetzli <noetzli@stanford.edu> | 2017-05-26 02:41:24 -0700 |
| commit | 7ae1eb6b1d0b52c206b0a87bfafd0e698bb22fea (patch) | |
| tree | 536e530b59fb63da4d7ce7839a7207aa34318ae5 /proofs/lfsc_checker/expr.h | |
| parent | 02d1b4d204c429788fb3258b68ce15c4331c83e6 (diff) | |
fixed most leaks
Diffstat (limited to 'proofs/lfsc_checker/expr.h')
| -rw-r--r-- | proofs/lfsc_checker/expr.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/proofs/lfsc_checker/expr.h b/proofs/lfsc_checker/expr.h index 632aaa18a..3473a9eae 100644 --- a/proofs/lfsc_checker/expr.h +++ b/proofs/lfsc_checker/expr.h @@ -142,6 +142,7 @@ protected: #ifdef DEBUG_REFCNT debugrefcnt(ref,DEC); #endif + assert(ref >= 0); if (ref == 0) destroy(this,dec_kids); else |