From 9f32d1b91b593891037e5f8f0c107a1c3d3d9d16 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Dejan=20Jovanovi=C4=87?= <dejan.jovanovic@gmail.com>
Date: Sun, 10 Jul 2011 12:48:42 +0000
Subject: [PATCH] another typo

---
 src/theory/uf/theory_uf.cpp | 1 +
 1 file changed, 1 insertion(+)

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);
-- 
2.30.2