Fix build for no-dev

This commit is contained in:
Gregor Kleen 2019-04-21 17:18:10 +02:00
parent a81bc3b340
commit 1a44e45ea2

View File

@ -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@