diff --git a/tools/stats/filtering.py b/tools/stats/filtering.py index e049d450ca9..3ae906effc6 100644 --- a/tools/stats/filtering.py +++ b/tools/stats/filtering.py @@ -174,6 +174,8 @@ mapped_str = { '__ge__': '>=', '__sq__': '\'', '__dq__': '"', + '__ob__': '[', + '__cb__': ']', } for key, value in mapped_str.items(): cond_text = cond_text.replace( key, value )