1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Core/SeedInfo.h b/lib/Core/SeedInfo.h
index 0d2b6ae0..fb2d025d 100644
--- a/lib/Core/SeedInfo.h
+++ b/lib/Core/SeedInfo.h
@@ -10,7 +10,7 @@
 #ifndef KLEE_SEEDINFO_H
 #define KLEE_SEEDINFO_H
 
-#include "klee/util/Assignment.h"
+#include "klee/Expr/Assignment.h"
 
 extern "C" {
   struct KTest;