Updating prov_map