Fix TextureId

This commit is contained in:
Michael-Lai fx
2018-11-12 21:52:36 +08:00
committed by GitHub
parent d341ec6450
commit 860e68b59b

View File

@@ -349,7 +349,7 @@ pub extern "C" fn wgpu_texture_create_default_texture_view(
#[no_mangle]
pub extern "C" fn wgpu_texture_destroy(
texture_id: DeviceId,
texture_id: TextureId,
) {
let texture_guard = HUB.textures.lock();
let texture = texture_guard.get(texture_id);