From a020dea27756ca2cfdbeea477b04f48e4de10a02 Mon Sep 17 00:00:00 2001 From: black-sliver <59490463+black-sliver@users.noreply.github.com> Date: Tue, 10 May 2022 00:32:16 +0200 Subject: [PATCH] Doc: fix wrong naming in api.md example code --- docs/api.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/api.md b/docs/api.md index 239e65bc..c984dcd3 100644 --- a/docs/api.md +++ b/docs/api.md @@ -626,7 +626,7 @@ class MyGameWorld(World): # ... def set_rules(self): set_rule(self.world.get_location("A Door", self.player), - lamda state: state._myworld_has_key(self.world, self.player)) + lamda state: state._mygame_has_key(self.world, self.player)) ``` ### Generate Output