correct comment typo found during today's architectural meeting

diff --git a/src/theory/valuation.h b/src/theory/valuation.h
index 28a743dc82d7b26b52e63bba6dc7f8c3c180da8f..ab47dcbdd8323a4dc253ca44a242fc465d101bc2 100644 (file)
--- 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,