From 1a44e45ea2be36cb64bbea96008728ef817a438f Mon Sep 17 00:00:00 2001
From: Gregor Kleen <kleen@cip.ifi.lmu.de>
Date: Sun, 21 Apr 2019 17:18:10 +0200
Subject: [PATCH] Fix build for no-dev

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

diff --git a/src/Settings.hs b/src/Settings.hs
index 9fa858fa2..a0cc9022c 100644
--- a/src/Settings.hs
+++ b/src/Settings.hs
@@ -437,7 +437,7 @@ widgetFile nameBase = do
         = widgetFileReload widgetFileSettings
         | otherwise
         = widgetFileNoReload widgetFileSettings
-  [e| widgetFile nameBase |]
+  widgetFile nameBase
 #endif
 
 -- | Raw bytes at compile time of @config/settings.yml@