diff --git a/nix/frama-c.nix b/nix/frama-c.nix
index 771bbff79686a397902de06ead1ccc16bd724c32..62ca10893d07216c6b1d7e155eab94fce8986321 100644
--- a/nix/frama-c.nix
+++ b/nix/frama-c.nix
@@ -179,10 +179,6 @@ stdenvNoCC.mkDerivation rec {
         export DUNE_DIR_LOCATIONS="''${DUNE_DIR_LOCATIONS-}''${DUNE_DIR_LOCATIONS:+:}frama-c:lib:''$1/lib/frama-c"
       fi
 
-      if test -d "''$1/share/frama-c/"; then
-        export FRAMAC_EXTRA_SHARE="''${FRAMAC_EXTRA_SHARE-}''${FRAMAC_EXTRA_SHARE:+:}''$1/share/frama-c"
-      fi
-
     }
 
     addEnvHooks "$targetOffset" addFramaCPath