Merge branch 'develop' into dot-add

fd3252dc · Umang Yadav · GitHub · 56615a84 · 8192f37f · fd3252dc
Unverified Commit fd3252dc authored Jul 08, 2022 by Umang Yadav Committed by GitHub Jul 08, 2022
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

tools/te.py tools/te.py +1 -1

No files found.
--- a/tools/te.py
+++ b/tools/te.py
@@ -23,7 +23,7 @@
 #####################################################################################
 import string, sys, re

-trivial = ['std::size_t', 'instruction_ref']
+trivial = ['std::size_t', 'instruction_ref', 'support_metric']

 headers = '''
 #include <algorithm>