From 0f1b68e093dfe0357adf400ea7b4746f09fb4cba Mon Sep 17 00:00:00 2001
From: Martin Nowack <m.nowack@imperial.ac.uk>
Date: Sun, 29 Jul 2018 20:46:44 +0100
Subject: Fix missing includes and declarations

---
 include/klee/SolverImpl.h | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'include')

diff --git a/include/klee/SolverImpl.h b/include/klee/SolverImpl.h
index c17082a8..615f20c5 100644
--- a/include/klee/SolverImpl.h
+++ b/include/klee/SolverImpl.h
@@ -10,6 +10,8 @@
 #ifndef KLEE_SOLVERIMPL_H
 #define KLEE_SOLVERIMPL_H
 
+#include "Solver.h"
+
 #include <vector>
 
 namespace klee {
-- 
cgit 1.4.1