From 3c03c7244735a2b92fc23f43a360ed96297212d0 Mon Sep 17 00:00:00 2001
From: "pre-commit-ci-lite[bot]"
 <117423508+pre-commit-ci-lite[bot]@users.noreply.github.com>
Date: Thu, 29 Feb 2024 14:21:51 +0000
Subject: [PATCH] [pre-commit.ci lite] apply automatic fixes

---
 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 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