Commiting my local changes ...

[satune.git] / src / Backend / inc_solver.cc

diff --git a/src/Backend/inc_solver.cc b/src/Backend/inc_solver.cc
index d295ceeecfeeb6d1c9e004eeb41af05db3459102..80c4e4c9f6b4b4857e4add875aff110f1990932d 100644 (file)
--- a/src/Backend/inc_solver.cc
+++ b/src/Backend/inc_solver.cc
@@ -12,6 +12,7 @@
 #include <fcntl.h>
 #include "common.h"
 #include <string.h>
+#include <stdexcept>
 
 IncrementalSolver *allocIncrementalSolver() {
        IncrementalSolver *This = (IncrementalSolver *)ourmalloc(sizeof(IncrementalSolver));
@@ -119,7 +120,7 @@ void readSolver(IncrementalSolver *This, void *tmp, ssize_t size) {
                ssize_t n = read(This->from_solver_fd, &((char *)result)[bytesread], bytestoread);
                if (n == -1) {
                        model_print("Read failure\n");
-                       exit(-1);
+                       throw std::runtime_error("Read failure\n");
                }
                bytestoread -= n;
                bytesread += n;