Update resolver.py