Merge pull request diffblue#308 from diffblue/owen-jones-diffblue/fix-lines-missed-in-rename-of-modified-flag

Fix use of old flag name

Author: owen-jones-diffblue

src/taint-analysis/taint_summary.cpp

@@ -127,8 +127,7 @@ static exprt transform_external_objects(const exprt& e)
     evs_copy.extend_access_path(new_entry, external_value_set_typet::PER_FIELD);
     evs_copy.label()=constant_exprt("external_objects",string_typet());
     evs_copy.type()=e.type();
-    evs_copy.remove("modified");
-    return evs_copy;
+    return evs_copy.as_non_initializer();
   }
   else if(e.id()==ID_external_value_set)
   {
@@ -139,8 +138,7 @@ static exprt transform_external_objects(const exprt& e)
     evs_copy.extend_access_path(new_entry, external_value_set_typet::PER_FIELD);
     evs_copy.label()=constant_exprt("external_objects",string_typet());
     evs_copy.type()=e.type();
-    evs_copy.remove("modified");
-    return evs_copy;
+    return evs_copy.as_non_initializer();
   }
   else
     return e;