Remove `delete_user_by_uid' since it's never been used in any logs we have,

[moira.git] / gdb / gdb_db.c

diff --git a/gdb/gdb_db.c b/gdb/gdb_db.c
index 0b03fc84faca5cdfeb98a6f28aac4b1a3748fdce..07f299e0ebb62899bf5a8dd0be68d884aa28739e 100644 (file)
--- a/gdb/gdb_db.c
+++ b/gdb/gdb_db.c
@@ -5,7 +5,7 @@
 
 #ifndef lint
 static char *rcsid_gdb_db_c = "$Header$";
-#endif lint
+#endif
 
 /************************************************************************/
 /*     
@@ -21,7 +21,7 @@ static char *rcsid_gdb_db_c = "$Header$";
 
 #include <mit-copyright.h>
 #include <stdio.h>
-#include <strings.h>
+#include <string.h>
 #include "gdb.h"