Fixing integerencoding memory leaks ...

[satune.git] / src / Translator / integerencorderresolver.cc

diff --git a/src/Translator/integerencorderresolver.cc b/src/Translator/integerencorderresolver.cc
index a9fb25c3b365117fd0ab4a4206aa67dbc9a18532..eaf4e476953f720f27cf2473642d5f5f471c903b 100644 (file)
--- a/src/Translator/integerencorderresolver.cc
+++ b/src/Translator/integerencorderresolver.cc
@@ -17,6 +17,7 @@ IntegerEncOrderResolver::IntegerEncOrderResolver(CSolver *_solver, IntegerEncodi
 }
 
 IntegerEncOrderResolver::~IntegerEncOrderResolver() {
+       delete ierecord;
 }