From 5718e2f61b48123215dcc7fbc18453f17c5b8074 Mon Sep 17 00:00:00 2001
From: Steffen Jost <jost@tcs.ifi.lmu.de>
Date: Sat, 21 Jan 2023 17:44:37 +0100
Subject: [PATCH] attempt optimized build once more

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

diff --git a/package.yaml b/package.yaml
index 8bc086184..d9a66af86 100644
--- a/package.yaml
+++ b/package.yaml
@@ -271,7 +271,7 @@ when:
       cpp-options: -DDEVELOPMENT
     else:
       ghc-options:
-        - -O0
+        - -O
         - -fllvm
         - +RTS -K0 -RTS
 data-files: