From 8a861d0947b47af4412077ed0d8422f2047314fb Mon Sep 17 00:00:00 2001 From: Adrian Herrera Date: Wed, 10 Nov 2021 07:55:43 +0000 Subject: optimin: fix optimin git clone --- utils/optimin/build_optimin.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'utils') diff --git a/utils/optimin/build_optimin.sh b/utils/optimin/build_optimin.sh index 9480f966..51d1bd26 100755 --- a/utils/optimin/build_optimin.sh +++ b/utils/optimin/build_optimin.sh @@ -102,7 +102,7 @@ else CNT=1 while [ '!' -d EvalMaxSAT -a "$CNT" -lt 4 ]; do echo "Trying to clone EvalMaxSAT (attempt $CNT/3)" - git clone "$GRAMMAR_REPO" + git clone "$EVALMAXSAT_REPO" CNT=`expr "$CNT" + 1` done } -- cgit 1.4.1