Merge pull request #2074 from nedbat/fix-double-spaces

Remove an accidental double space
This commit is contained in:
Bruno Oliveira 2016-11-21 14:19:56 -02:00 committed by GitHub
commit 1e2b2af296
1 changed files with 1 additions and 1 deletions

View File

@ -594,7 +594,7 @@ class Argument:
if typ == 'choice':
warnings.warn(
'type argument to addoption() is a string %r.'
' For parsearg this is optional and when supplied '
' For parsearg this is optional and when supplied'
' should be a type.'
' (options: %s)' % (typ, names),
DeprecationWarning,