Merge pull request diffblue#108 from trtikm/cleanup/renamings

Cleanup/renamings

Author: NathanJPhillips

src/goto-analyzer/taint_fast_analyser.cpp

@@ -94,7 +94,7 @@ static void  taint_fast_analyser(
     call_grapht const&  call_graph,
     call_grapht const&  inverted_call_graph,
     std::string const&  root_function_name,
-    taint_symbolic_variablet const&  taint_name,
+    taint_variablet const&  taint_name,
     std::string const&  source_function_name,
     goto_programt::const_targett const source_instruction,
     std::string const&  sink_function_name,