diff options
Diffstat (limited to 'src/util/cardinality.h')
| -rw-r--r-- | src/util/cardinality.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/util/cardinality.h b/src/util/cardinality.h index 30bdea78d..81a291006 100644 --- a/src/util/cardinality.h +++ b/src/util/cardinality.h @@ -165,7 +165,7 @@ public: /** * Returns true iff this cardinality is finite and large (i.e., * at the ceiling of representable finite cardinalities). - . */ + */ bool isLargeFinite() const throw() { return d_card >= s_largeFiniteCard; } |