diff --git a/pkgs/applications/science/logic/opensmt/default.nix b/pkgs/applications/science/logic/opensmt/default.nix
index 902dfc5765df..1681d4545904 100644
--- a/pkgs/applications/science/logic/opensmt/default.nix
+++ b/pkgs/applications/science/logic/opensmt/default.nix
@@ -1,4 +1,4 @@
-{ lib, stdenv, lib, fetchFromGitHub
+{ stdenv, lib, fetchFromGitHub
 , cmake, libedit, gmpxx, bison, flex
 , enableReadline ? false, readline
 , gtest