More bugs

[satune.git] / src / Serialize / deserializer.cc

diff --git a/src/Serialize/deserializer.cc b/src/Serialize/deserializer.cc
index 0e6839dae9136f68621a02fa838bf4dd3d7c8604..de9c2fc1b997b22927b49b4e1a3200531a82c97e 100644 (file)
--- a/src/Serialize/deserializer.cc
+++ b/src/Serialize/deserializer.cc
@@ -26,6 +26,10 @@ Deserializer::Deserializer(const char* file):
 
 Deserializer::~Deserializer() {
        delete solver;
+       
+       if (-1 == close(filedesc)){
+               exit(-1);
+       }
 }
 
 ssize_t Deserializer::myread(void* __buf, size_t __nbytes){