From 2f95e66313711f34202bb988aaac3b0617a8a767 Mon Sep 17 00:00:00 2001
From: Leo Chen <chenqiuliang@baidu.com>
Date: Thu, 23 Jul 2020 15:29:00 +0800
Subject: [PATCH] tools/check_api_source_without_core_ops.py (#25671)

---
 tools/check_api_source_without_core_ops.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/check_api_source_without_core_ops.py b/tools/check_api_source_without_core_ops.py
index ef9b585118..d04cbcd160 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]
 
-- 
GitLab