diff options
Diffstat (limited to 'src/analysis/powerset-lattice-impl.h')
| -rw-r--r-- | src/analysis/powerset-lattice-impl.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/analysis/powerset-lattice-impl.h b/src/analysis/powerset-lattice-impl.h index e4e6dd4cf..6d710826b 100644 --- a/src/analysis/powerset-lattice-impl.h +++ b/src/analysis/powerset-lattice-impl.h @@ -48,7 +48,7 @@ inline FiniteIntPowersetLattice::Element FiniteIntPowersetLattice::getBottom() { // We count the number of element members present in the element by counting the // trues in the bitvector. -inline size_t FiniteIntPowersetLattice::Element::count() { +inline size_t FiniteIntPowersetLattice::Element::count() const { size_t count = 0; for (auto it : bitvector) { count += it; |