cpplint

Author: marek-trtik

src/taint-slicer/slicer.cpp

@@ -41,7 +41,7 @@ taint_slicert::taint_slicert(
   , named_tokens(named_tokens)
   , summaries(summaries)
   , tokens_propagation_graph(tokens_propagation_graph)
-  //, timeout(timeout)
+  // , timeout(timeout)
   , results_dir(results_dir)
   , temp_dir(temp_dir)
   , statistics(statistics)

src/taint-slicer/slicer.h

@@ -73,7 +73,7 @@ class taint_slicert
   const taint_tokent::named_tokenst *named_tokens;
   const taint_summaryt::dbt * const summaries;
   const taint_tokens_propagation_grapht *tokens_propagation_graph;
-  //float timeout;
+  // float timeout;
   std::string results_dir;
   std::string temp_dir;
   taint_statisticst *statistics;