diff --git a/src/smt/theory_str_regex.cpp b/src/smt/theory_str_regex.cpp
index 1b376dfbf..fdad98b46 100644
--- a/src/smt/theory_str_regex.cpp
+++ b/src/smt/theory_str_regex.cpp
@@ -844,8 +844,6 @@ namespace smt {
             return false;
         } else if (u.re.is_intersection(re)) {
             return false;
-        } else if (u.re.is_complement(re)) {
-            return false;
         } else if (u.re.is_loop(re, sub1, lo, hi) || u.re.is_loop(re, sub1, lo)) {
             return check_regex_length_linearity_helper(sub1, already_star);
         } else {