diff --git a/nix/frama-c-checkers-shell.nix b/nix/frama-c-checkers-shell.nix
index a9322dcc9fdb25fd705d915f4b2930cd130139fe..9ccc398534f01b7848d92fdb420313ba38e8ffc8 100644
--- a/nix/frama-c-checkers-shell.nix
+++ b/nix/frama-c-checkers-shell.nix
@@ -1,5 +1,6 @@
 { lib
 , stdenv
+, clang_10
 , frama-c-hdrck
 , git
 , gnumake
@@ -9,6 +10,7 @@
 stdenv.mkDerivation rec {
   name = "frama-c-checkers-shell";
   buildInputs = [
+    clang_10
     frama-c-hdrck
     git
     gnumake