Edit: resolver.h