diff --git a/prepare-competition.sh b/prepare-competition.sh index 96b854a..aa8f51a 100755 --- a/prepare-competition.sh +++ b/prepare-competition.sh @@ -123,7 +123,7 @@ version=`cat VERSION` description=$dir/starexec_description.txt cat <$description -Legacy SAT Solver with powerful Pre- and Inprocessing +Legacy SAT Solver with powerful Preprocessing and Inprocessing EOF msg "included the following description:" printf $BOLD