Bug fix for tuner timeout

[satune.git] / src / Tuner / multituner.h

diff --git a/src/Tuner/multituner.h b/src/Tuner/multituner.h
index 95354c8d73b0f10290df9b427a96ea78fecae055..85b028bc930b3e137eb586ba6ea5975239af8674 100644 (file)
--- a/src/Tuner/multituner.h
+++ b/src/Tuner/multituner.h
@@ -7,7 +7,7 @@
 
 class Problem {
 public:
-       Problem(const char *problem);
+       Problem(const char *problem, uint timeout);
        char *getProblem() {return problem;}
        ~Problem();
        CMEMALLOC;
@@ -16,6 +16,7 @@ private:
        int result;
        char *problem;
         double besttime;
+        uint timeout;
        friend class MultiTuner;
 };