svga: use svga_texture() helper instead of casting 20/7120/1
authorBrian Paul <brianp@vmware.com>
Mon, 24 Jun 2013 20:42:38 +0000 (14:42 -0600)
committerBrian Paul <brianp@vmware.com>
Tue, 25 Jun 2013 23:54:23 +0000 (17:54 -0600)
src/gallium/drivers/svga/svga_resource_texture.c

index 3cb7d34..cb825b4 100644 (file)
@@ -218,7 +218,7 @@ svga_texture_destroy(struct pipe_screen *screen,
                     struct pipe_resource *pt)
 {
    struct svga_screen *ss = svga_screen(screen);
-   struct svga_texture *tex = (struct svga_texture *)pt;
+   struct svga_texture *tex = svga_texture(pt);
 
    ss->texture_timestamp++;