crucible-llvm-syntax: Remove redundant do

GaloisInc · Nov 1, 2023 · 00bf64e · 00bf64e
1 parent 7022ffa
commit 00bf64e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/crucible-llvm-syntax/src/Lang/Crucible/LLVM/Syntax.hs b/crucible-llvm-syntax/src/Lang/Crucible/LLVM/Syntax.hs
@@ -151,7 +151,7 @@ llvmAtomParser mvar =
       Atom.AtomName "store" -> Parse.describe "LLVM store arguments" $ do
         loc <- Parse.position
         Parse.depCons parseAlign $ \align ->
-          Parse.depCons parseMemType $ \memTy -> do
+          Parse.depCons parseMemType $ \memTy ->
             llvmTypeAsRepr memTy $ \tyRep -> do
               assign <- Parse.operands (Ctx.Empty Ctx.:> LLVMPointerRepr ?ptrWidth Ctx.:> tyRep)
               case Mem.toStorableType memTy of