fix typo

diff --git a/Makefile b/Makefile
index 473bd84c3b5e512c30e57640f30faaaaf4af78ea..f0541bfae2b06d6a6d6d4e678c5289552a9fb20d 100644 (file)
--- 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