diff --git a/nix/default.nix b/nix/default.nix
index e96878f95a6dc08c5936933d878c64264e08039a..4a094099d2d6254c732f2a49a4bf397aef7c1c98 100644
--- a/nix/default.nix
+++ b/nix/default.nix
@@ -14,7 +14,7 @@ in
 plugins.helpers.simple_plugin
    { inherit pkgs stdenv src opam2nix ocaml_version plugins;
      name = "frama-clang";
-     deps = [ unstablePckgs.llvmPackages_9.clang-unwrapped unstablePckgs.llvm_9 pkgs.gnused ];
+     deps = [ unstablePckgs.llvmPackages_9.clang-unwrapped unstablePckgs.llvm_9 pkgs.gnused pkgs.alt-ergo ];
      opamPackages = [ "camlp5" ];
      configure_options = "-with-clang-includedir=${unstablePckgs.llvmPackages_9.clang-unwrapped}";
      preFramaCTests = ''