From 6b97844651c092af6ff525d82f4f15c04cd927dc Mon Sep 17 00:00:00 2001 From: Daniel Dunbar Date: Tue, 9 Jun 2009 03:57:34 +0000 Subject: Remove unnecessary include. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@73123 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Solver/PCLoggingSolver.cpp | 2 -- 1 file changed, 2 deletions(-) (limited to 'lib') diff --git a/lib/Solver/PCLoggingSolver.cpp b/lib/Solver/PCLoggingSolver.cpp index 81cf7688..3c605256 100644 --- a/lib/Solver/PCLoggingSolver.cpp +++ b/lib/Solver/PCLoggingSolver.cpp @@ -9,8 +9,6 @@ #include "klee/Solver.h" -// FIXME: This should not be here. -#include "klee/ExecutionState.h" #include "klee/Expr.h" #include "klee/SolverImpl.h" #include "klee/Statistics.h" -- cgit 1.4.1