diff options
Diffstat (limited to 'pygments/util.py')
| -rw-r--r-- | pygments/util.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pygments/util.py b/pygments/util.py index 3331400a..463f8468 100644 --- a/pygments/util.py +++ b/pygments/util.py @@ -60,7 +60,7 @@ def get_int_opt(options, optname, default=None): except TypeError: raise OptionError('Invalid type %r for option %s; you ' 'must give an integer value' % ( - string, optname)) + string, optname)) except ValueError: raise OptionError('Invalid value %r for option %s; you ' 'must give an integer value' % ( |