diff options
Diffstat (limited to 'src')
| -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()); } |