From 860e68b59b805bcdfd42d9538ef13d4b2f20e63e Mon Sep 17 00:00:00 2001
From: Michael-Lai fx <cihv2@163.com>
Date: Mon, 12 Nov 2018 21:52:36 +0800
Subject: [PATCH] Fix TextureId

---
 wgpu-native/src/device.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/wgpu-native/src/device.rs b/wgpu-native/src/device.rs
index a41878890..411cb5dcd 100644
--- a/wgpu-native/src/device.rs
+++ b/wgpu-native/src/device.rs
@@ -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);