Python 3.3.5 time module missing

Question

When I try to import time I get : No module named time

I have tried other time modules(datetime and timeit) and they work fine. I decided to check my installation and I can't find time.py anywhere. I checked the Lib, Scripts, libs and include folders, but can't find it anywhere.

Anyone know what I can do to fix this? Maybe download the .py and put it in Lib myself?

I am using Python 3.3.5 with PyCharm IDE. Only extra scripts I've installed is EasyInstall and PRAW.

Answer 1

The import does work. When PyCharm said No module named time, I assumed I would get a compiler error and started trying to fix it.

However when I eventually just ran the code it worked fine. I expect PyCharm doesn't detect the time module as it's a dll and not a py as noted by Martijn in the comments. This is on PyCharm Community Edition 4.0.4.

Answer 2

I tried playing with virtualenv and a host of other things, but I eventually went to Preferences -> Build, Execution, Deployment -> Console -> Python Console, and in the "starting script" box, I added two lines:

sys.builtin_module_names.append('sys')
sys.builtin_module_names.append('time')

This got rid of errors I had with both sys and time. Once I did that, I even get autocomplete for both of those modules... weird.