You're fine...no draining needed.

If I had to drain my pool everytime I found a dead chipmunk in it, the pool would be empty all summer!