diff --git a/include/klee/Module/KType.h b/include/klee/Module/KType.h index 59ab9021e23..dd8d2ab65a3 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