diff options
Diffstat (limited to 'Tools/scripts/fixdiv.py')
| -rwxr-xr-x | Tools/scripts/fixdiv.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Tools/scripts/fixdiv.py b/Tools/scripts/fixdiv.py index 70d5f19..2bbd3d5 100755 --- a/Tools/scripts/fixdiv.py +++ b/Tools/scripts/fixdiv.py @@ -56,7 +56,7 @@ Here are the possible messages on stdout (N stands for a line number): - 'No conclusive evidence on line N', line marked by '*': A / operator was found for which no warnings were seen. This could - be code that was never executed, or code that was only executed with + be code that was never executed, or code that was only executed with user-defined objects as arguments. You will have to investigate further. Note that // can be overloaded separately from /, using __floordiv__. True division can also be separately |