crucible-llvm: Unnecessary parens

GaloisInc · Mar 27, 2024 · a7bbd5d · a7bbd5d
1 parent b168cb1
commit a7bbd5d
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/crucible-llvm/src/Lang/Crucible/LLVM/Intrinsics/Cast.hs b/crucible-llvm/src/Lang/Crucible/LLVM/Intrinsics/Cast.hs
@@ -82,8 +82,8 @@ castLLVMArgs :: forall p sym ext bak args args'.
 castLLVMArgs _ Ctx.Empty Ctx.Empty =
   Right (ArgCast (\_ -> return Ctx.Empty))
 castLLVMArgs bak (rest' Ctx.:> tp') (rest Ctx.:> tp) =
-  do (ValCast f)  <- castLLVMRet bak tp tp'
-     (ArgCast fs) <- castLLVMArgs bak rest' rest
+  do ValCast f  <- castLLVMRet bak tp tp'
+     ArgCast fs <- castLLVMArgs bak rest' rest
      Right (ArgCast
               (\(xs Ctx.:> x) -> do
                     xs' <- fs xs