From dd8aab5e0f924aaf7262f558dc45cf53c0fc48ec Mon Sep 17 00:00:00 2001
From: Philipp Meyer <p.j.meyer@tum.de>
Date: Fri, 10 Jan 2020 16:06:42 +0100
Subject: [PATCH] Update cabal file for merge

---
 peregrine.cabal | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/peregrine.cabal b/peregrine.cabal
index 85729566..83300de6 100644
--- a/peregrine.cabal
+++ b/peregrine.cabal
@@ -22,8 +22,8 @@ executable peregrine
   main-is: Main.hs
   other-modules:
   -- other-extensions:
-  build-depends:       base >=4 && <5, sbv == 7.13, parsec >= 3.1, containers, transformers,
+  build-depends:       base >=4 && <5, sbv, parsec >= 3.1, containers, transformers,
                        bytestring, mtl, stm, async, text, aeson
   hs-source-dirs:      src
   default-language:    Haskell2010
-  ghc-options:         -fsimpl-tick-factor=1000 -threaded -rtsopts -with-rtsopts=-N
+  ghc-options:         -fsimpl-tick-factor=1000 -threaded -rtsopts -with-rtsopts=-N -dynamic
-- 
GitLab