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

---
 lib/Core/SeedInfo.h | 1 +
 1 file changed, 1 insertion(+)

(limited to 'lib/Core/SeedInfo.h')

diff --git a/lib/Core/SeedInfo.h b/lib/Core/SeedInfo.h
index 0acb130b..1820ef23 100644
--- a/lib/Core/SeedInfo.h
+++ b/lib/Core/SeedInfo.h
@@ -20,6 +20,7 @@ extern "C" {
 namespace klee {
   class ExecutionState;
   class TimingSolver;
+  class MemoryObject;
 
   class SeedInfo {
   public:
-- 
cgit 1.4.1