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