From 91a2eafc7a04fcce5825cb4e258c137e31ecb7f9 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 16 May 2021 20:39:47 -0700 Subject: Fixing memory leak in the SAT sweeper. --- src/sat/glucose2/SolverTypes.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src') 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()); } -- cgit v1.2.3