Index: uspace/srv/devman/util.h
===================================================================
--- uspace/srv/devman/util.h	(revision 02e5e3425d6e6ecccf2cd07c77b7170db6f5419a)
+++ uspace/srv/devman/util.h	(revision a501e22cfdc3a2c5c6f792bc5d5dcb4b3fdf012f)
@@ -43,5 +43,4 @@
 extern bool skip_spaces(char **);
 extern size_t get_nonspace_len(const char *);
-extern void free_not_null(const void *);
 extern void replace_char(char *, char, char);