Index: uspace/lib/usbdev/include/usb/dev/pipes.h
===================================================================
--- uspace/lib/usbdev/include/usb/dev/pipes.h	(revision d02834c44677c06ef78e6f13d86aeba7fd4eefdd)
+++ uspace/lib/usbdev/include/usb/dev/pipes.h	(revision 03ffb69c5d89c7672380f99657aed17df553b22b)
@@ -116,6 +116,4 @@
 
 
-int usb_device_get_assigned_interface(const ddf_dev_t *);
-
 int usb_pipe_initialize(usb_pipe_t *, usb_device_connection_t *,
     usb_endpoint_t, usb_transfer_type_t, size_t, usb_direction_t);