diff --git a/tools/check_api_source_without_core_ops.py b/tools/check_api_source_without_core_ops.py index ef9b58511859d8a57ab410f8377770ff9edd35e8..d04cbcd160b9185fa981f4b1f0a98446f5b0a3d9 100644 --- a/tools/check_api_source_without_core_ops.py +++ b/tools/check_api_source_without_core_ops.py @@ -40,7 +40,7 @@ diffs = [] for each_diff in result: if each_diff[0] == '+': api_name = each_diff.split(' ')[1].strip() - if api_name in api_without_ops: + if api_name in api_without_ops and api_name.find('sequence') == -1: error = True diffs += [api_name]