From 72d2b13eea5fbd95557a3d0d199cd98dfbdc76ee Mon Sep 17 00:00:00 2001
From: Armin Biere <biere@cs.uni-freiburg.de>
Date: Sun, 15 May 2022 16:42:39 +0200
Subject: [PATCH] illegal char for starexec removed

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

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 <<EOF>$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