index f3441caa8779a18748b8a3e677ee443690854e84..84047f01d2bb3e603de43b1cd92d59e4acd366c5 100644 (file)
/*
* ======== NameServer_client.c ========
*/
-#include <Std.h>
+#include <ti/ipc/Std.h>
#include <stdio.h>
#include <stdlib.h>