test

S1eGa · Feb 29, 2024 · c0ccd2b · c0ccd2b
1 parent 1b26712
commit c0ccd2b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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