diff --git a/src/cbmc/cbmc_solvers.cpp b/src/cbmc/cbmc_solvers.cpp
index dace046cc17..b647ba17f52 100644
--- a/src/cbmc/cbmc_solvers.cpp
+++ b/src/cbmc/cbmc_solvers.cpp
@@ -242,6 +242,15 @@ cbmc_solverst::solvert* cbmc_solverst::get_string_refinement()
   if(options.get_bool_option("string-printable"))
     string_refinement->enforce_printable_characters();
 
+  if(options.get_option("max-node-refinement")!="")
+    string_refinement->max_node_refinement=
+      options.get_unsigned_int_option("max-node-refinement");
+
+  string_refinement->do_array_refinement=
+    options.get_bool_option("refine-arrays");
+  string_refinement->do_arithmetic_refinement=
+    options.get_bool_option("refine-arithmetic");
+
   return new solvert(string_refinement, prop);
 }