cryptoverif: fix search for default library

2020-12-10 17:03:24 +01:00 · 2020-12-10 17:03:24 +01:00 · b49a3fb852
commit b49a3fb852
parent 9a5e66f5d4
1 changed files with 1 additions and 1 deletions
--- a/pkgs/applications/science/logic/cryptoverif/default.nix
+++ b/pkgs/applications/science/logic/cryptoverif/default.nix
@ -15,7 +15,7 @@ stdenv.mkDerivation rec {
  ** from under $out/libexec. By default, it expects to find the files
  ** in $CWD which doesn't work. */
  patchPhase = ''
-    substituteInPlace ./src/settings.ml \
+    substituteInPlace ./src/syntax.ml \
      --replace \"default\" \"$out/libexec/default\"
  '';