[docs] [issue14122] operator: div() instead of truediv() in documention since 3.1.2

[Félix-Antoine Fortin]

New submission from Félix-Antoine Fortin <felixantoinefortin+python at gmail.com>:

A small regression was introduced by the changeset 57209 in the documentation of the operator module.

In the abstract operations table in section 9.3.1 the first of two lines
on Division, the associated function should be : truediv() instead of div(), since operator.div() no longer exists in Python 3. In changeset 57209, this corresponds to the line 408 of the file Doc/library/operator.rst.

I have included the patch for the changeset 57209.

----------
assignee: docs at python
components: Documentation
files: operator_div.patch
keywords: patch
messages: 154277
nosy: docs at python, felixantoinefortin
priority: normal
severity: normal
status: open
title: operator: div() instead of truediv() in documention since 3.1.2
versions: Python 3.1, Python 3.2, Python 3.3, Python 3.4
Added file: http://bugs.python.org/file24639/operator_div.patch

_______________________________________
Python tracker <report at bugs.python.org>
<http://bugs.python.org/issue14122>
_______________________________________