Remove unused message field

romainbrenguier · romainbrenguier · commit 9705cc99a799 · 2019-08-08T07:41:57.000+01:00
String constraint generator make no use of this field.
diff --git a/src/solvers/strings/string_constraint_generator.h b/src/solvers/strings/string_constraint_generator.h
@@ -74,9 +74,6 @@ class string_constraint_generatort final
   exprt associate_array_to_pointer(const function_application_exprt &f);
 
   exprt associate_length_to_array(const function_application_exprt &f);
-
-  // MEMBERS
-  const messaget message;
 };
 
 // Type used by primitives to signal errors
