pipebuffer: Remove unnecessary header.

2010-01-21 23:07:29 -08:00
parent dc544ad9c6
commit cea9250ff0
1 changed files with 0 additions and 1 deletions
@@ -39,7 +39,6 @@
 #include "util/u_debug.h"

 #include "pb_buffer.h"
-#include "pb_buffer_fenced.h"
 #include "pb_validate.h"