From: Tim King <taking@cs.nyu.edu>
Date: Thu, 9 Aug 2018 00:44:00 +0000 (-0700)
Subject: Fixing documentation nit from PR#2232. (#2289)
X-Git-Tag: cvc5-1.0.0~4795
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b4d4006d08a32b107257b0edaba95679d0b0c65b;p=cvc5.git

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 cfa50bef8..fd98aa208 100644
--- 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;