title: pyCharm does not find module "time"
body: <p>In a project I am working on, my pyCharm does not find the standard library "time", see screenshot. The other libraries are found without any problem.  I am using pyCharm Community 2017.3, and a virtualenv created by anaconda. In the tool tip, pyCharm says "No module named time"</p>
  
  <p><a href="https://i.stack.imgur.com/87Jgl.png" rel="nofollow noreferrer"><img src="https://i.stack.imgur.com/87Jgl.png" alt="enter image description here"></a> </p>
  
  <p>What I don't understand is, time is part of Python standard library. Why cannot pyCharm find it while it has no problem finding the other libraries I use?</p>
  
  <p>The script can be executed in pyCharm. Apparently, pyCharm does find and load "time" at runtime. It seems the error message is only an editor thing.</p>