Unverified Commit cece2880 authored by Sergei Trofimovich's avatar Sergei Trofimovich Committed by GitHub
Browse files

Merge pull request #222548 from Luflosi/yices-fix-typo 

yices: fix typo in comment
parents 07513e2c ddb714f6

pkgs/applications/science/logic/yices/default.nix

+1 −1
Original line number Diff line number Diff line
@@ -13,7 +13,7 @@ stdenv.mkDerivation rec { 
  };



  patches = [

    # musl las no ldconfig, create symlinks explicitly

    # musl has no ldconfig, create symlinks explicitly

    ./linux-no-ldconfig.patch

  ];

  postPatch = "patchShebangs tests/regress/check.sh";