From 9e156f407d00c85ec5212ca08b4efb446ddee8b0 Mon Sep 17 00:00:00 2001
From: Steffen Jost <jost@cip.ifi.lmu.de>
Date: Thu, 28 Oct 2021 11:34:52 +0200
Subject: [PATCH] fix(build): no change, just retry merge pipeline

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

diff --git a/src/Application.hs b/src/Application.hs
index c0f54303f..623d702a8 100644
--- a/src/Application.hs
+++ b/src/Application.hs
@@ -1,6 +1,6 @@
 {-# OPTIONS_GHC -fno-warn-orphans #-}
  
-module Application
+module Application 
     ( getAppSettings, getAppDevSettings
     , appMain
     , develMain