From d714c53f1701cd5e7e6aa7c1750d637ade5f3a98 Mon Sep 17 00:00:00 2001
From: Michael Raskin <7c6f434c@mail.ru>
Date: Thu, 14 Jan 2021 15:26:10 +0000
Subject: [PATCH] fix mis-merge

---
 pkgs/applications/science/logic/opensmt/default.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pkgs/applications/science/logic/opensmt/default.nix b/pkgs/applications/science/logic/opensmt/default.nix
index 902dfc5765d..1681d454590 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