From a3bcf3d915040cebe5ec83347766bf75e2123da6 Mon Sep 17 00:00:00 2001
From: Andrea Lattuada <andrea@lattuada.me>
Date: Tue, 20 Aug 2024 17:10:07 +0200
Subject: [PATCH] minor fix

---
 setup/perf-build-verus-in-container.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/setup/perf-build-verus-in-container.sh b/setup/perf-build-verus-in-container.sh
index 4c7742b..f7be4e3 100644
--- a/setup/perf-build-verus-in-container.sh
+++ b/setup/perf-build-verus-in-container.sh
@@ -3,5 +3,5 @@ source "$HOME/.cargo/env"
 
 cd verus/source
 
-. ../bin/activate
+. ../tools/activate
 vargo build --release --features singular