diff --git a/src/smt/smt_context.cpp b/src/smt/smt_context.cpp
index 457e58f7c..7d320ecb1 100644
--- a/src/smt/smt_context.cpp
+++ b/src/smt/smt_context.cpp
@@ -2930,6 +2930,8 @@ namespace smt {
     void context::set_sls_value(expr* var, expr* value) {
         expr_ref _var(var, m);
         expr_ref _valueu(value, m);
+#if 0
+// temporary disabled
         if (!e_internalized(var))
             return;
         enode* n = get_enode(var);
@@ -2941,6 +2943,7 @@ namespace smt {
                 p->initialize_value(var, value);
             l = l->get_next();
         }
+#endif
     }
 
     void context::initialize_value(expr* var, expr* value) {