wip

IntersectMBO · Oct 24, 2024 · f39f958 · f39f958
1 parent 17a6228
commit f39f958
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.plutus-metatheory}/src"
+    export PLUTUS_METHATHEORY_SRC="${../plutus-metatheory/src}"
   '';
 
   wrapProgramArgs = ''
     --set AGDA_STDLIB_SRC "${repoRoot.nix.agda-with-stdlib}/src" \
-    --set PLUTUS_METHATHEORY_SRC "${repoRoot.plutus-metatheory}/src"
+    --set PLUTUS_METHATHEORY_SRC "${../plutus-metatheory/src}"
   '';
 }