diff --git a/src/smt/theory_array.cpp b/src/smt/theory_array.cpp
index 703423f8f..9e341bb78 100644
--- a/src/smt/theory_array.cpp
+++ b/src/smt/theory_array.cpp
@@ -296,7 +296,6 @@ namespace smt {
     }
 
     void theory_array::apply_sort_cnstr(enode * n, sort * s) {
-        return;
         SASSERT(is_array_sort(s));
         if (!is_attached_to_var(n))
             mk_var(n);