Fix variable name

src/main-verify.py

@@ -79,7 +79,7 @@ def main():
 
 	# Check
 	any_verified = False
-	any_failed = False
+	any_fail = False
 	for path in infiles:
 		# Remove the directory and the extension from the file
 		name = os.path.basename(path)