Fixed rebase issue.

Author: marek-trtik

src/taint-slicer/instrumenter.cpp

@@ -76,12 +76,12 @@ static irept add_shadow_variables_to_type(
 taint_instrumentert::taint_instrumentert(
   const taint_instrumentation_propst &in_props,
   const taint_programt *const in_program,
-  taint_statisticst *const in_statistics,
-  const bool use_data_flow_insensitive_instrumentation)
+  taint_statisticst *const in_statistics)
   : props(in_props)
   , program(in_program)
   , statistics(in_statistics)
-  , use_data_flow_insensitive_version(use_data_flow_insensitive_instrumentation)
+  , use_data_flow_insensitive_version(
+      in_props.data_flow_insensitive_version_applied())
 {
 }