Merge pull request #617 from mgudemann/allow_regex_in_cpplint

Daniel Kroening · web-flow · commit 2245eb2de37f · 2017-03-09T06:52:40.000-08:00
remove `&lt;regex&gt;` from unapproved headers in cpplint
diff --git a/scripts/cpplint.py b/scripts/cpplint.py
@@ -6264,7 +6264,6 @@ def FlagCxx11Features(filename, clean_lines, linenum, error):
                                       'thread',
                                       'chrono',
                                       'ratio',
-                                      'regex',
                                       'system_error',
                                      ):
     error(filename, linenum, 'build/c++11', 5,
