From 8dcec5c4adbb0db27fb5f044ce2afae4fa77fd09 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Sat, 22 Feb 2020 21:30:09 -0800
Subject: [PATCH] add option branch_flip to lp_settings

Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
---
 src/smt/theory_array.cpp | 1 -
 1 file changed, 1 deletion(-)

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