diff --git a/include/klee/Module/KType.h b/include/klee/Module/KType.h index 59ab9021e2..dd8d2ab65a 100644 --- a/include/klee/Module/KType.h +++ b/include/klee/Module/KType.h @@ -8,7 +8,7 @@ #include namespace llvm { -class Type; +class Type; class raw_ostream; } // namespace llvm