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