Untabify string refinement

Author: romainbrenguier

src/solvers/refinement/string_refinement.cpp

@@ -142,10 +142,10 @@ bool string_refinementt::boolbv_set_equality_to_true(const equal_exprt &expr)
       exprt uncast=to_typecast_expr(expr.rhs()).op();
       if(refined_string_typet::is_unrefined_string_type(uncast.type()))
       {
-	debug() << "(sr) detected casted string" << eom;
-	symbol_exprt sym=to_symbol_expr(expr.lhs());
-	generator.set_string_symbol_equal_to_expr(sym, uncast);
-	return false;
+        debug() << "(sr) detected casted string" << eom;
+        symbol_exprt sym=to_symbol_expr(expr.lhs());
+        generator.set_string_symbol_equal_to_expr(sym, uncast);
+        return false;
       }
     }