Commit 102e5709 authored by Jakub Klinkovský's avatar Jakub Klinkovský
Browse files

Fixed bug in SolverMonitor

parent a4f3db52
Loading
Loading
Loading
Loading
+2 −1
Original line number Diff line number Diff line
@@ -24,7 +24,8 @@ class SolverMonitor

   SolverMonitor()
      : timeout_milliseconds(500),
        stopped(true)
        stopped(true),
        timer(nullptr)
   {};

   ~SolverMonitor() {};