From 61e0964d3deb0b964015b554be724c11bd07fda7 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Thu, 2 May 2024 10:51:50 +0200
Subject: Update charon

---
 flake.nix | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'flake.nix')

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
-- 
cgit v1.2.3