Patch for error "name 'types' is not defined"

[Sponk]

I had this error on kiki_src for linux (debian 2.6.6-1-k7 i686). I add "import types" just above "import random" in the file "py/world.py".

Output:
...
Traceback (most recent call last):
File "/home/work/kiki_src/kiki//py/env.py", line 70, in ?
execfile(kikipy_path + "world.py")
File "/home/work/kiki_src/kiki//py/world.py", line 346, in ?
execfile (kikipy_path + "intro.py")
File "/home/work/kiki_src/kiki//py/intro.py", line 357, in ?
display_main_menu ()
File "/home/work/kiki_src/kiki//py/intro.py", line 355, in display_main_menu
w.create (level_list[min (highscore.getLastFinishedLevel()+1, len (level_list)-1)])
File "/home/work/kiki_src/kiki//py/world.py", line 137, in create
if type (world_dict) == types.StringType:
NameError: name 'types' is not defined
...