From: Morgan Deters <mdeters@gmail.com>
Date: Fri, 10 Feb 2012 20:27:10 +0000 (+0000)
Subject: correct comment typo found during today's architectural meeting
X-Git-Tag: cvc5-1.0.0~8337
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=91ab0391fe69419726448d634f8050c105035232;p=cvc5.git

correct comment typo found during today's architectural meeting
---

diff --git a/src/theory/valuation.h b/src/theory/valuation.h
index 28a743dc8..ab47dcbdd 100644
--- a/src/theory/valuation.h
+++ b/src/theory/valuation.h
@@ -36,9 +36,9 @@ namespace theory {
  * The status of an equality in the current context.
  */
 enum EqualityStatus {
-  /** The equality is known to be true, and has been propagated */
-  EQUALITY_TRUE_AND_PROPAGATED,
   /** The equality is known to be true and has been propagated */
+  EQUALITY_TRUE_AND_PROPAGATED,
+  /** The equality is known to be false and has been propagated */
   EQUALITY_FALSE_AND_PROPAGATED,
   /** The equality is known to be true */
   EQUALITY_TRUE,