Updates requested in the PR: indentation.

Author: marek-trtik

src/taint-slicer/instrumentation_props.cpp

@@ -52,8 +52,7 @@ std::string unwrap_type_name(const typet &type, const namespacet &ns)
   const std::string result=type2java(type, ns);
   if(!is_primitive_type(type))
     throw std::logic_error(
-            msgstream() << "ERROR: expecting a primitive data type, "
-                           "but received '" << result << "'.");
+      "ERROR: expecting a primitive data type, but received '" + result + "'.");
   return result;
 }
 
@@ -224,7 +223,7 @@ void taint_instrumentation_propst::build_map_from_typenames_to_tokennames(
       {
         assert(
           does_instrumentation_of_type_require_subclass(datatype, type)==
-              it->second.subclass_required() &&
+            it->second.subclass_required() &&
           is_primitive_type(type)==it->second.is_primitive());
           it->second.add_token(arg_token.get_token_name());
       }
@@ -324,8 +323,8 @@ void taint_build_instrumentation_props(
         std::unordered_set<irep_idt, dstring_hash> ignored_functions(
           suppressed.cbegin(), suppressed.cend());
         if(!exists_direct_or_indirect_call(
-             program.get_call_graph(), root, *suppressions.cbegin(),
-             ignored_functions))
+          program.get_call_graph(), root, *suppressions.cbegin(),
+          ignored_functions))
         {
           suppressed.insert(as_string(*suppressions.cbegin()));
           callees.erase(*suppressions.cbegin());