From a1b73df93e5a2fac4a7ac87fb1753c4eb518c8c0 Mon Sep 17 00:00:00 2001 From: Martin Nowack Date: Wed, 27 Mar 2019 11:33:07 +0000 Subject: Separate constraint set and constraint manager --- lib/Core/TimingSolver.h | 1 + 1 file changed, 1 insertion(+) (limited to 'lib/Core/TimingSolver.h') diff --git a/lib/Core/TimingSolver.h b/lib/Core/TimingSolver.h index f6dfd5b9..8e25b21c 100644 --- a/lib/Core/TimingSolver.h +++ b/lib/Core/TimingSolver.h @@ -10,6 +10,7 @@ #ifndef KLEE_TIMINGSOLVER_H #define KLEE_TIMINGSOLVER_H +#include "klee/Expr/Constraints.h" #include "klee/Expr/Expr.h" #include "klee/Solver/Solver.h" #include "klee/System/Time.h" -- cgit 1.4.1