From: Dejan Jovanović <dejan.jovanovic@gmail.com>
Date: Sun, 10 Jul 2011 12:48:42 +0000 (+0000)
Subject: another typo
X-Git-Tag: cvc5-1.0.0~8513
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=9f32d1b91b593891037e5f8f0c107a1c3d3d9d16;p=cvc5.git

another typo
---

diff --git a/src/theory/uf/theory_uf.cpp b/src/theory/uf/theory_uf.cpp
index 409edc53a..9903acc57 100644
--- a/src/theory/uf/theory_uf.cpp
+++ b/src/theory/uf/theory_uf.cpp
@@ -62,6 +62,7 @@ void TheoryUF::check(Effort level) {
       break;
     case kind::APPLY_UF:
       d_equalityEngine.addEquality(assertion, d_true, assertion);
+      break;
     case kind::NOT:
       if (assertion[0].getKind() == kind::APPLY_UF) {
         d_equalityEngine.addEquality(assertion[0], d_false, assertion);