wi

IntersectMBO · Oct 24, 2024 · 17a6228 · 17a6228
1 parent b3d4b9c
commit 17a6228
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/nix/agda-extra-env.nix b/nix/agda-extra-env.nix
@@ -5,11 +5,11 @@
 {
   shellHookExports = ''
     export AGDA_STDLIB_SRC="${repoRoot.nix.agda-with-stdlib}/src"
-    export PLUTUS_METHATHEORY_SRC="${repoRoot.src.plutus-metatheory}/src"
+    export PLUTUS_METHATHEORY_SRC="${repoRoot.plutus-metatheory}/src"
   '';
 
   wrapProgramArgs = ''
     --set AGDA_STDLIB_SRC "${repoRoot.nix.agda-with-stdlib}/src" \
-    --set PLUTUS_METHATHEORY_SRC "${repoRoot.src.plutus-metatheory}/src"
+    --set PLUTUS_METHATHEORY_SRC "${repoRoot.plutus-metatheory}/src"
   '';
 }