Merge pull request #1458 from markshannon/fix-typo

Python: Fix 2 typos.
This commit is contained in:
Taus
2019-06-14 13:33:39 +02:00
committed by GitHub

View File

@@ -146,9 +146,9 @@ module Module {
*
* Note that the name used to refer to a module is not
* necessarily its name. For example,
* there are modules refered to by the name `os.path`,
* there are modules referred to by the name `os.path`,
* but that are not named `os.path`, for example the module `posixpath`.
* Such that the follwing is true:
* Such that the following is true:
* `Module::named("os.path").getName() = "posixpath"
*/
ModuleValue named(string name) {