yices: fix typo in comment

2023-03-22 16:08:09 +01:00
parent 07513e2c6b
commit ddb714f68d
1 changed files with 1 additions and 1 deletions
@@ -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";