check.sh: Fix typo

Signed-off-by: Catalin Marinas <catalin.marinas@arm.com>

1 files changed, 1 insertions, 1 deletions

diff --git a/check.sh b/check.sh
index c5f5c1a..06e77e4 100755
--- a/check.sh
+++ b/check.sh
@@ -13,7 +13,7 @@ alias tla2tex="java tla2tex.TLA"
 SPEC=$1
 shift
 
-# Insert ProcessEnabled() for each lable, if found in $SPEC.tla
+# Insert ProcessEnabled() for each label, if found in $SPEC.tla
 grep -q -e "--algorithm" $SPEC.tla && pcal -nocfg $SPEC.tla | tee $SPEC.log
 if grep -q -e "^\s*ProcessEnabled(self)\s*==" $SPEC.tla; then
 	sed -i -e 's%pc\[self\] = ".*"$%& /\\\ ProcessEnabled(self)%' $SPEC.tla