Index: uspace/lib/usbdev/include/usb/dev/driver.h
===================================================================
--- uspace/lib/usbdev/include/usb/dev/driver.h	(revision 8a01a0b98199d1f7f8f7829b048fec35603be0ce)
+++ uspace/lib/usbdev/include/usb/dev/driver.h	(revision 2f4fa792bfad3e76c3d4ec6ee43e8c4d77b78bcf)
@@ -176,5 +176,5 @@
     const usb_endpoint_description_t **, const uint8_t *, size_t, int, int,
     usb_endpoint_mapping_t **, size_t *);
-int usb_device_destroy_pipes(usb_endpoint_mapping_t *, size_t);
+void usb_device_destroy_pipes(usb_endpoint_mapping_t *, size_t);
 
 void * usb_device_data_alloc(usb_device_t *, size_t);