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 1e19a15297126d355926ce3fb61376426ea9ba62)
@@ -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);