diff options
| author | gbrandl <devnull@localhost> | 2007-04-25 17:06:07 +0200 |
|---|---|---|
| committer | gbrandl <devnull@localhost> | 2007-04-25 17:06:07 +0200 |
| commit | 41139bf9c8fdbe85cb27ec44abccd188b15ca6a8 (patch) | |
| tree | d96b74ec8a274b3646b6fd2cd547f940c377f658 /pygments/util.py | |
| parent | 1b68b4671ab60608e2d308b0372b0629b3783360 (diff) | |
| download | pygments-41139bf9c8fdbe85cb27ec44abccd188b15ca6a8.tar.gz | |
[svn] Make mapfiles, make check, add D test file, make reindent.
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' % ( |