Undoes the effect of the latest call to resource_push_path.
You should take special care to call resource_pop_path exactly same times as resource_push_path, everything else might result in unwanted and maybe even undefined behaviour. You have been warned!
| type |
type of the resource which search list should be shrinked. |