* Numerous documentation fixes (fix doxygen warnings, add missing documentation, etc.).

* Remove sat_module.cpp, which was no longer used (was previously refactored?)

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;
   }