From 3fd8d35cca2a23c137934a170c67e8ce310edf13 Mon Sep 17 00:00:00 2001 From: Tom Smeding Date: Tue, 29 Apr 2025 15:54:12 +0200 Subject: Complete monoidal accumulator rewrite --- src/Simplify.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/Simplify.hs') diff --git a/src/Simplify.hs b/src/Simplify.hs index 228f265..2a1d3b6 100644 --- a/src/Simplify.hs +++ b/src/Simplify.hs @@ -10,7 +10,7 @@ {-# LANGUAGE TypeOperators #-} module Simplify ( simplifyN, simplifyFix, - SimplifyConfig(..), simplifyWith, simplifyFixWith, + SimplifyConfig(..), defaultSimplifyConfig, simplifyWith, simplifyFixWith, ) where import Data.Function (fix) -- cgit v1.2.3-70-g09d2