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