diff --git a/src/rm_nameserver.c b/src/rm_nameserver.c
index 9abbe2b325a95c745c762b0ba459b884c3093f4c..858a9931974ad65684eca59072ff6eb779f68027 100644 (file)
--- a/src/rm_nameserver.c
+++ b/src/rm_nameserver.c
/**
- * @file rmnameserver.c
+ * @file rm_nameserver.c
*
* @brief
* This is the Resource Manager NameServer source.