summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--src/sat/glucose2/SolverTypes.h2
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());
}