Fixing memory leak in the SAT sweeper.

91a2eafc · Alan Mishchenko · 93849685 · 91a2eafc
Commit 91a2eafc authored May 16, 2021 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 1 additions and 1 deletions

src/sat/glucose2/SolverTypes.h
+1 -1

No files found.
--- 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());
        }