From f0814ed444bc5b04c3b17fde98485c04b651035b Mon Sep 17 00:00:00 2001
From: Steffen Jost <jost@tcs.ifi.lmu.de>
Date: Thu, 19 Jan 2023 10:10:40 +0100
Subject: [PATCH] fix build attempt

---
 package.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/package.yaml b/package.yaml
index 33b390a0f..d80fd5da3 100644
--- a/package.yaml
+++ b/package.yaml
@@ -256,7 +256,7 @@ ghc-options:
   - -fno-max-relevant-binds
   - -j1  
   - -freduction-depth=0
-  - --enable-split-sections
+  - -split-sections
   # -freduction-depth=400 for type simplification is not enough, types are already more complicated
 when:
   - condition: flag(pedantic)