diff --git a/ChangeLog b/ChangeLog
index 189d6570c..013e37a7c 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+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.
diff --git a/src/ltltest/reduc.cc b/src/ltltest/reduc.cc
index f022f5af0..14eb66337 100644
--- a/src/ltltest/reduc.cc
+++ b/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);