diff --git a/src/qe/nlqsat.cpp b/src/qe/nlqsat.cpp
index a0084e071..b733ef4f2 100644
--- a/src/qe/nlqsat.cpp
+++ b/src/qe/nlqsat.cpp
@@ -475,9 +475,6 @@ namespace qe {
             else {
                 SASSERT(clevel.max() + 2 <= level());
                 num_scopes = level() - clevel.max();
-                if ((num_scopes % 2) != 0) {
-                    --num_scopes;
-                }
                 SASSERT(num_scopes >= 2);
             }