llvm: Add a space to a error message (#1267)

GaloisInc · Dec 4, 2024 · 9dea59a · 9dea59a
1 parent 80df1aa
commit 9dea59a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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'