From b8a74d8593e063ac9168ce273cbf1691aaa360cd Mon Sep 17 00:00:00 2001 From: Dan Liew Date: Fri, 18 Dec 2015 13:16:56 +0000 Subject: Move lib/Solver/SolverStats.h -> include/klee/SolverStats.h so that it is possible to ``#include "klee/util/ArrayExprHash.h"`` --- lib/Solver/STPBuilder.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lib/Solver/STPBuilder.cpp') diff --git a/lib/Solver/STPBuilder.cpp b/lib/Solver/STPBuilder.cpp index 4bd0145f..2f51c2b9 100644 --- a/lib/Solver/STPBuilder.cpp +++ b/lib/Solver/STPBuilder.cpp @@ -12,9 +12,9 @@ #include "klee/Expr.h" #include "klee/Solver.h" #include "klee/util/Bits.h" +#include "klee/SolverStats.h" #include "ConstantDivision.h" -#include "SolverStats.h" #include "llvm/Support/CommandLine.h" -- cgit 1.4.1