fix mis-merge
This commit is contained in:
parent
f2210b7287
commit
d714c53f17
|
@ -1,4 +1,4 @@
|
|||
{ lib, stdenv, lib, fetchFromGitHub
|
||||
{ stdenv, lib, fetchFromGitHub
|
||||
, cmake, libedit, gmpxx, bison, flex
|
||||
, enableReadline ? false, readline
|
||||
, gtest
|
||||
|
|
Loading…
Reference in a new issue