From c0ccd2b0ff345721182985f7f3fb27fec5338fcd Mon Sep 17 00:00:00 2001
From: Sergey Morozov <morozov.serg901@gmail.com>
Date: Thu, 29 Feb 2024 17:11:37 +0300
Subject: [PATCH] test

---
 include/klee/Module/KType.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 <vector>
 
 namespace llvm {
-class Type;
+class  Type;
 class raw_ostream;
 } // namespace llvm