From 9dea59a06cf087d6d670c84da9e34964a6a1b090 Mon Sep 17 00:00:00 2001
From: Langston Barrett <langston.barrett@gmail.com>
Date: Wed, 4 Dec 2024 15:24:11 -0500
Subject: [PATCH] llvm: Add a space to a error message (#1267)

---
 crucible-llvm/src/Lang/Crucible/LLVM/Intrinsics/Cast.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/crucible-llvm/src/Lang/Crucible/LLVM/Intrinsics/Cast.hs b/crucible-llvm/src/Lang/Crucible/LLVM/Intrinsics/Cast.hs
index f634717eb..a8373f02c 100644
--- a/crucible-llvm/src/Lang/Crucible/LLVM/Intrinsics/Cast.hs
+++ b/crucible-llvm/src/Lang/Crucible/LLVM/Intrinsics/Cast.hs
@@ -116,7 +116,7 @@ castLLVMRet fnm bak (LLVMPointerRepr w) (BVRepr w')
   = let err = 
           AssertFailureSimError
            "Found a pointer where a bitvector was expected"
-           ("In the arguments or return value of" ++ Text.unpack (functionName fnm)) in
+           ("In the arguments or return value of " ++ Text.unpack (functionName fnm)) in
     Right (ValCast (liftIO . ptrToBv bak err))
 castLLVMRet fnm bak (VectorRepr tp) (VectorRepr tp')
   = do ValCast f <- castLLVMRet fnm bak tp tp'