diff --git a/nix/frama-ci.nix b/nix/frama-ci.nix
index d1bcdc957c0f79047fde3458cd45a16929600f57..39f7eaabbfbb16c347a5032877b37be85ebf264c 100644
--- a/nix/frama-ci.nix
+++ b/nix/frama-ci.nix
@@ -8,7 +8,7 @@ let
             "rev" = "6ad3b6bcd58aa84052a15305a1d127838cd5c87b";
             "ref" = "feature/upgrade-opam2nix";
     };
-    pkgs = import "${src}/pkgs.nix";
+    pkgs = import "${src}/pkgs.nix" {};
  in
  {
   src = src;