diff --git a/src/sat/glucose2/SolverTypes.h b/src/sat/glucose2/SolverTypes.h
index 6c57a9007..c09902261 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());
         }