diff options
Diffstat (limited to 'erebos.cabal')
-rw-r--r-- | erebos.cabal | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/erebos.cabal b/erebos.cabal index 97a95ec..5a17a40 100644 --- a/erebos.cabal +++ b/erebos.cabal @@ -45,6 +45,7 @@ source-repository head common common ghc-options: -Wall + -Wno-x-partial -fdefer-typed-holes if flag(ci) |