another typo

diff --git a/src/theory/uf/theory_uf.cpp b/src/theory/uf/theory_uf.cpp
index 409edc53abe26ee659945fbe610d242ab9ddea1a..9903acc5755020bfaa6c02defdcfbfdee5c86d82 100644 (file)
--- 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);