Fixed another rebase issue.

Author: marek-trtik

src/taint-slicer/slicer.cpp

@@ -98,8 +98,11 @@ void taint_slicert::compute_slice(
   std::vector<taint_slicing_taskt> sliced_goto_programs;
   for(std::size_t i=0UL, n=instrumentation_props.size(); i!=n; ++i)
   {
-    const taint_instrumentert instrumenter(
+    taint_instrumentert instrumenter(
       instrumentation_props.at(i), program, statistics);
+
+    instrumenter.run();
+
     const std::pair<taint_slicing_taskt,std::string> task_valid=
       build_slicing_task(
         instrumentation_props.at(i),