1 files changed, 0 insertions, 6 deletions
diff --git a/include/klee/Solver.h b/include/klee/Solver.h
index 94e7d477..9e05967d 100644
--- a/include/klee/Solver.h
+++ b/include/klee/Solver.h
@@ -226,12 +226,6 @@ namespace klee {
   /// fails.
   Solver *createDummySolver();
   
-  enum SolverRunStatus { SOLVER_RUN_STATUS_SUCCESS, 
-                         SOLVER_RUN_STATUS_TIMEOUT,
-                         SOLVER_RUN_STATUS_FORK_FAILED,
-                         SOLVER_RUN_STATUS_INTERRUPTED,
-                         SOLVER_RUN_STATUS_UNEXPECTED_EXIT_CODE,
-                         SOLVER_RUN_STATUS_WAITPID_FAILED };
 }
 
 #endif