1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/checkSpace.pl b/contrib/checkSpace.pl
index 6eb32e5620..a18df99b16 100755
--- a/contrib/checkSpace.pl
+++ b/contrib/checkSpace.pl
@@ -97,7 +97,7 @@ for $fn (@ARGV) {
                 if ($1 ne "if" and $1 ne "while" and $1 ne "for" and
                     $1 ne "switch" and $1 ne "return" and $1 ne "int" and
                     $1 ne "elsif" and $1 ne "WINAPI" and $2 ne "WINAPI" and
-                    $1 ne "void" and $1 ne "__attribute__") {
+                    $1 ne "void" and $1 ne "__attribute__" and $1 ne "op") {
                     print "     fn ():$fn:$.\n";
                 }
             }