changeset 33870 | aa81c7a617dd |
parent 33869 | 5f3845b4ca15 |
child 33871 | 9e8b01d0654f |
--- a/tests/run-tests.py Mon Aug 21 22:13:51 2017 -0700 +++ b/tests/run-tests.py Tue Aug 22 10:01:27 2017 -0700 @@ -109,7 +109,6 @@ default_style = "" skipped = token.string_to_tokentype("Token.Generic.Skipped") failed = token.string_to_tokentype("Token.Generic.Failed") - error = token.string_to_tokentype("Token.Generic.Error") skippedname = token.string_to_tokentype("Token.Generic.SName") failedname = token.string_to_tokentype("Token.Generic.FName") styles = {