Merge pull request #167 from AeneasVerif/bump-charon

1 files changed, 1 insertions, 2 deletions

diff --git a/flake.nix b/flake.nix
index 6f868e3b..fd94d1d0 100644
--- a/flake.nix
+++ b/flake.nix
@@ -85,8 +85,7 @@
           };
           buildPhase = ''
             # We need to provide the paths to the Charon tests derivations
-            export CHARON_TESTS_REGULAR_DIR=${charon.checks.${system}.tests}
-            export CHARON_TESTS_POLONIUS_DIR=${charon.checks.${system}.tests-polonius}
+            export CHARON_TEST_DIR=${charon.checks.${system}.tests}
 
             # Copy the Aeneas executable, and update the path to it
             cp ${aeneas}/bin/aeneas aeneas