* src/ltltest/reduc.cc (main): Fix harmless memory leak introduced

today.

ChangeLog

+2010-01-21  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
+
+	* src/ltltest/reduc.cc (main): Fix harmless memory leak introduced
+	today.
+
 2010-01-21  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
 
 	Fix taa_tgba_formula's destructor.

src/ltltest/reduc.cc

@@ -284,6 +284,7 @@ main(int argc, char** argv)
       float after = sum_after;
       std::cout << "gain: "
 		<< (1 - (after / before)) * 100 << "%" << std::endl;
+      delete fin;
     }
 
   assert(spot::ltl::atomic_prop::instance_count() == 0);