Serializing circuit encoding

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

diff --git a/src/Backend/inc_solver.h b/src/Backend/inc_solver.h
index 4692cfe626f0e6fd3add84adaf4a615bcfe4ddd1..3562a4270b76b6dfb2a8a0c3515e188eac632165 100644 (file)
--- a/src/Backend/inc_solver.h
+++ b/src/Backend/inc_solver.h
@@ -28,7 +28,7 @@ struct IncrementalSolver {
        pid_t solver_pid;
        int to_solver_fd;
        int from_solver_fd;
-        long timeout;
+       long timeout;
 };
 
 IncrementalSolver *allocIncrementalSolver();