Index: uspace/lib/drv/include/driver.h
===================================================================
--- uspace/lib/drv/include/driver.h	(revision 7a252ec898ad0b08c9e132a962b2d137a40b6be2)
+++ uspace/lib/drv/include/driver.h	(revision f772bc551e29a820f0a9d75296f62d516efddb9a)
@@ -118,5 +118,5 @@
 	 * device manager).
 	 */
-	device_handle_t handle;
+	devman_handle_t handle;
 	
 	/**
