Index: uspace/lib/usbdev/include/usb/dev/driver.h
===================================================================
--- uspace/lib/usbdev/include/usb/dev/driver.h	(revision b803845b7f74b6b0f13292e50da92b17eb62ec2b)
+++ uspace/lib/usbdev/include/usb/dev/driver.h	(revision 96ec0a98f3a2e1ddbe0af6578f3ff4e8a63b038b)
@@ -174,4 +174,5 @@
     usb_device_t **, const char **);
 void usb_device_deinit(usb_device_t *);
+
 void * usb_device_data_alloc(usb_device_t *, size_t);
 
@@ -179,5 +180,5 @@
 int usb_alternate_interfaces_create(const uint8_t *, size_t, int,
     usb_alternate_interfaces_t **);
-
+void usb_alternate_interfaces_destroy(usb_alternate_interfaces_t *);
 #endif
 /**