1 files changed, 4 insertions, 13 deletions
diff --git a/cc3200/util/std.h b/cc3200/util/std.h
index 8368432b9..2b23fb63e 100644
--- a/cc3200/util/std.h
+++ b/cc3200/util/std.h
@@ -24,21 +24,12 @@
  * THE SOFTWARE.
  */
 
-typedef unsigned int size_t;
-
-void *memcpy(void *dest, const void *src, size_t n);
-void *memmove(void *dest, const void *src, size_t n);
-void *memset(void *s, int c, size_t n);
+// This file is needed because in some cases we can't include stdio.h,
+// because the CC3100 socket driver has name clashes with it.
 
-size_t strlen(const char *str);
-int strcmp(const char *s1, const char *s2);
-int strncmp(const char *s1, const char *s2, size_t n);
-char *strcpy(char *dest, const char *src);
-char *strcat(char *dest, const char *src);
-char *strchr(const char *s, int c);
-char *strstr(const char *haystack, const char *needle);
+typedef unsigned int size_t;
 
-int printf(const char *fmt, ...);
 int snprintf(char *str, size_t size, const char *fmt, ...);
 
+// Convenience function, defined in main.c.
 void stoupper (char *str);