From f271ff963b845968566e6a5c52cddaedc9b883c2 Mon Sep 17 00:00:00 2001
From: "Jip J. Dekker" <jip@dekker.one>
Date: Mon, 22 Mar 2021 11:01:38 +1100
Subject: [PATCH] Switch back to merge main repository

---
 bench_env.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bench_env.sh b/bench_env.sh
index 0c4308c..f29214c 100644
--- a/bench_env.sh
+++ b/bench_env.sh
@@ -9,7 +9,7 @@ if [ -d venv ]; then
 else
     python3 -m venv venv
     source venv/bin/activate
-    python3 -m pip install git+https://github.com/Dekker1/mzn-bench.git@fix/env_size
+    python3 -m pip install git+https://github.com/MiniZinc/mzn-bench.git
 fi
 
 # Set other environment variables and load cluster modules