From e0603b3c9deafb21c943c86e18c2f83008fbad30 Mon Sep 17 00:00:00 2001
From: Artur Meski <artur.meski@gmail.com>
Date: Sun, 14 Oct 2018 16:38:02 +0100
Subject: [PATCH] Merge branch 'distrib_rs' of bitbucket.org:rsmodecking/rsmc
 into distrib_rs

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

diff --git a/drs_benchmark.sh b/drs_benchmark.sh
index 05edb14..0ae9a41 100755
--- a/drs_benchmark.sh
+++ b/drs_benchmark.sh
@@ -7,7 +7,7 @@ CMD="./reactics -zxbB"
 for i in `seq 2 9`;do
 
 	echo "[i] n=$i; generating input file"
-	in/gen_drs_mutex.py $i > $TMPINPUT
+	in/gen_tgc_sc.py $i > $TMPINPUT
 
 	for f in `seq 1 2`; do