diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2021-05-16 20:39:47 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2021-05-16 20:39:47 -0700 |
| commit | 91a2eafc7a04fcce5825cb4e258c137e31ecb7f9 (patch) | |
| tree | 9d1c03c89b426e5c8e005bba60fd29a744f9379e /src/sat/glucose2 | |
| parent | 93849685b3dadc878bab3dd266a80ad9cfa74a5e (diff) | |
| download | abc-91a2eafc7a04fcce5825cb4e258c137e31ecb7f9.tar.gz abc-91a2eafc7a04fcce5825cb4e258c137e31ecb7f9.tar.bz2 abc-91a2eafc7a04fcce5825cb4e258c137e31ecb7f9.zip | |
Fixing memory leak in the SAT sweeper.
Diffstat (limited to 'src/sat/glucose2')
| -rw-r--r-- | src/sat/glucose2/SolverTypes.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sat/glucose2/SolverTypes.h b/src/sat/glucose2/SolverTypes.h index 6c57a900..c0990226 100644 --- a/src/sat/glucose2/SolverTypes.h +++ b/src/sat/glucose2/SolverTypes.h @@ -318,7 +318,7 @@ class OccLists dirty .clear(free); dirties.clear(free); } else { - occs .shrink_(occs .size()); + occs .shrink (occs .size()); dirty .shrink_(dirty .size()); dirties.shrink_(dirties.size()); } |