From 8ca1c925c6f4f0fb2974dbd382506b8a21f95086 Mon Sep 17 00:00:00 2001
From: Silvan Mosberger <infinisil@icloud.com>
Date: Sat, 9 Mar 2019 01:07:18 +0100
Subject: [PATCH] sad: Fix build

---
 pkgs/applications/science/logic/sad/default.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/pkgs/applications/science/logic/sad/default.nix b/pkgs/applications/science/logic/sad/default.nix
index 426f1928938c..8e94356f376a 100644
--- a/pkgs/applications/science/logic/sad/default.nix
+++ b/pkgs/applications/science/logic/sad/default.nix
@@ -1,4 +1,4 @@
-{ stdenv, fetchurl, ghc, spass }:
+{ stdenv, fetchurl, haskell, spass }:
 
 stdenv.mkDerivation {
   name = "system-for-automated-deduction-2.3.25";
@@ -6,7 +6,7 @@ stdenv.mkDerivation {
     url = "http://nevidal.org/download/sad-2.3-25.tar.gz";
     sha256 = "10jd93xgarik7xwys5lq7fx4vqp7c0yg1gfin9cqfch1k1v8ap4b";
   };
-  buildInputs = [ ghc spass ];
+  buildInputs = [ haskell.compiler.ghc844 spass ];
   patches = [
     ./patch
     # Since the LTS 12.0 update, <> is an operator in Prelude, colliding with