Fix demotc-race-record-extractor.sh not detecting CTF records

Bug introduced in !113

diff --git a/misc/tools/demotc-race-record-extractor.sh b/misc/tools/demotc-race-record-extractor.sh
index b93a5cb3de0ff4ed39df6baeb105e53ecbd3b098..c181888b6dd16796f1a65d89b618d1a4162ef7cc 100755 (executable)
--- a/misc/tools/demotc-race-record-extractor.sh
+++ b/misc/tools/demotc-race-record-extractor.sh
@@ -8,7 +8,7 @@ case "$2" in
                PATTERN='//CTS RECORD SET (.*)\n'
                ;;
        ctf)
-               PATTERN='//CTS RECORD SET (.*)\n'
+               PATTERN='//CTF RECORD SET (.*)\n'
                ;;
        new|race|rc|*)
                PATTERN='//RA?CE? RECORD SET (.*)\n'