From fff6beda3523abce3d27037ea2fb020fce31f502 Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom@tomsmeding.com>
Date: Fri, 14 Mar 2025 23:29:51 +0100
Subject: Much process with accumulator revamp

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

(limited to 'src/CHAD/Accum.hs')

diff --git a/src/CHAD/Accum.hs b/src/CHAD/Accum.hs
index 14a1d3b..b61b5ff 100644
--- a/src/CHAD/Accum.hs
+++ b/src/CHAD/Accum.hs
@@ -12,7 +12,7 @@ makeAccumulators :: SList STy envPro -> Ex (Append (D2AcE envPro) env) t -> Ex e
 makeAccumulators SNil e = e
 makeAccumulators (t `SCons` envpro) e =
   makeAccumulators envpro $
-    EWith ext (EZero ext t) e
+    EWith ext t (EZero ext t) e
 
 uninvertTup :: SList STy list -> STy core -> Ex env (InvTup core list) -> Ex env (TPair core (Tup list))
 uninvertTup SNil _ e = EPair ext e (ENil ext)
-- 
cgit v1.2.3-70-g09d2