From f5d24141ec70b7e02ea953169b8e78a3a4e215ae Mon Sep 17 00:00:00 2001
From: Peter Simons <simons@cryp.to>
Date: Sun, 4 Jan 2015 13:23:15 +0100
Subject: [PATCH] haskell-packages: drop redundant override for liquid-fixpoint

---
 pkgs/top-level/haskell-packages.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pkgs/top-level/haskell-packages.nix b/pkgs/top-level/haskell-packages.nix
index 0a0cf4f32eef..59df4e339384 100644
--- a/pkgs/top-level/haskell-packages.nix
+++ b/pkgs/top-level/haskell-packages.nix
@@ -3219,7 +3219,7 @@ self : let callPackage = x : y : modifyPrio (newScope self x y); in
 
   lhs2tex = callPackage ../tools/typesetting/lhs2tex {};
 
-  liquidFixpoint = callPackage ../development/tools/haskell/liquid-fixpoint { ocaml = pkgs.ocaml; };
+  liquidFixpoint = callPackage ../development/tools/haskell/liquid-fixpoint {};
 
   liquidhaskell = callPackage ../development/tools/haskell/liquidhaskell {};