From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Tue, 17 Jun 2014 02:37:35 +0000 (-0400)
Subject: fix typo
X-Git-Tag: cvc5-1.0.0~6700^2~17
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2f11aa728883bfcd9df5122f1ed0f2925dd7e08a;p=cvc5.git

fix typo
---

diff --git a/Makefile b/Makefile
index 473bd84c3..f0541bfae 100644
--- a/Makefile
+++ b/Makefile
@@ -111,7 +111,7 @@ submission-application:
 	# application track is a separate build because it has different preprocessor #defines
 	@if [ -d builds-smtcomp/application ]; then \
 	  echo 'ERROR:' >&2; \
-	  echo 'ERROR: Please remove the builds-smtcomp/main directory' >&2; \
+	  echo 'ERROR: Please remove the builds-smtcomp/application directory' >&2; \
 	  echo 'ERROR:' >&2; \
 	  exit 1; \
 	fi
@@ -145,7 +145,7 @@ submission-parallel:
 	# parallel track can't be built with -cln, so it's a separate build
 	@if [ -d builds-smtcomp/parallel ]; then \
 	  echo 'ERROR:' >&2; \
-	  echo 'ERROR: Please remove the builds-smtcomp/main directory' >&2; \
+	  echo 'ERROR: Please remove the builds-smtcomp/parallel directory' >&2; \
 	  echo 'ERROR:' >&2; \
 	  exit 1; \
 	fi