From d030802dd6d960afa80ac84a5580a46d39c02822 Mon Sep 17 00:00:00 2001
From: Tom Smeding <t.j.smeding@uu.nl>
Date: Thu, 20 Mar 2025 18:32:22 +0100
Subject: Commutativity marker on fold1i

---
 src/ForwardAD/DualNumbers.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/ForwardAD/DualNumbers.hs')

diff --git a/src/ForwardAD/DualNumbers.hs b/src/ForwardAD/DualNumbers.hs
index aa35a5b..9a95f81 100644
--- a/src/ForwardAD/DualNumbers.hs
+++ b/src/ForwardAD/DualNumbers.hs
@@ -146,7 +146,7 @@ dfwdDN = \case
     (EConstArr ext n t x)
   EBuild _ n a b
     | Refl <- dnPreservesTupIx n -> EBuild ext n (dfwdDN a) (dfwdDN b)
-  EFold1Inner _ a b c -> EFold1Inner ext (dfwdDN a) (dfwdDN b) (dfwdDN c)
+  EFold1Inner _ cm a b c -> EFold1Inner ext cm (dfwdDN a) (dfwdDN b) (dfwdDN c)
   ESum1Inner _ e ->
     let STArr n (STScal t) = typeOf e
         pairty = (STPair (STScal t) (STScal t))
-- 
cgit v1.2.3-70-g09d2