diff --git a/src/pymor/algorithms/rules.py b/src/pymor/algorithms/rules.py index 07b17512ce..7552605b35 100644 --- a/src/pymor/algorithms/rules.py +++ b/src/pymor/algorithms/rules.py @@ -46,7 +46,7 @@ def __repr__(self): from pygments import highlight from pygments.lexers import PythonLexer from pygments.formatters import Terminal256Formatter - return highlight(self.source, PythonLexer(), Terminal256Formatter(style='native')) + return highlight(self.source, PythonLexer(), Terminal256Formatter()) except ImportError: return self.source