nix: Fix shell expression

Signed-off-by: Nick Spinale <nick@nickspinale.com>
seL4 · Jun 26, 2024 · afa7a3d · afa7a3d
1 parent 35b1c5e
commit afa7a3d
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/hacking/nix/scope/world/shell.nix b/hacking/nix/scope/world/shell.nix
@@ -31,8 +31,8 @@ let
   };
 
   capdlEnvVars = lib.optionalAttrs (!worldConfig.isMicrokit) {
-    CAPDL_SPEC_FILE = serializeCapDLSpec { inherit (dummyCapDLSpec.passthru) spec; };
-    CAPDL_FILL_DIR = dummyCapDLSpec.passthru.fill;
+    CAPDL_SPEC_FILE = serializeCapDLSpec { inherit (dummyCapDLSpec) cdl; };
+    CAPDL_FILL_DIR = dummyCapDLSpec.fill;
   };
 
   libcDir = "${stdenv.cc.libc}/${hostPlatform.config}";