Remove unnecessary dependency addition

tamarin-prover · Feb 21, 2017 · d085a54 · d085a54
1 parent ab6b4f3
commit d085a54
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/lib/term/tamarin-prover-term.cabal b/lib/term/tamarin-prover-term.cabal
@@ -55,7 +55,6 @@ library
       , safe
       , split
       , syb
-      , template-haskell
 
       , tamarin-prover-utils