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

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

diff --git a/package.yaml b/package.yaml
index cce3f0777..bbd053df7 100644
--- a/package.yaml
+++ b/package.yaml
@@ -255,8 +255,7 @@ ghc-options:
   - -fno-warn-partial-type-signatures
   - -fno-max-relevant-binds
   - -j1
-  - -freduction-depth=400
-  - -enable-split-sections
+  - -freduction-depth=400  
 when:
   - condition: flag(pedantic)
     ghc-options: