Fixing documentation nit from PR#2232. (#2289)

diff --git a/src/theory/quantifiers/fmf/bounded_integers.cpp b/src/theory/quantifiers/fmf/bounded_integers.cpp
index cfa50bef8095d065e33bfa92fdf12ca0ebd33964..fd98aa208295eee6d8c8d37e6df7d5eaaac508b3 100644 (file)
--- a/src/theory/quantifiers/fmf/bounded_integers.cpp
+++ b/src/theory/quantifiers/fmf/bounded_integers.cpp
@@ -457,7 +457,8 @@ void BoundedIntegers::checkOwnership(Node f)
               // WARNING_CANDIDATE:
               // This assertion may fail. We intentionally do not enable this in
               // production as it is considered safe for this to fail. We fail
-              // in debug mode to have this instances raised to our attention.
+              // the assertion in debug mode to have this instance raised to
+              // our attention.
               Assert(bound_lit_pol_map[b].find(v)
                      != bound_lit_pol_map[b].end());
               BoundIntLitAttribute bila;