1 files changed, 0 insertions, 19 deletions
diff --git a/runtime/klee-libc/memcpy.c b/runtime/klee-libc/memcpy.c
deleted file mode 100644
index c7c6e6d3..00000000
--- a/runtime/klee-libc/memcpy.c
+++ /dev/null
@@ -1,19 +0,0 @@
-/*===-- memcpy.c ----------------------------------------------------------===//
-//
-//                     The KLEE Symbolic Virtual Machine
-//
-// This file is distributed under the University of Illinois Open Source
-// License. See LICENSE.TXT for details.
-//
-//===----------------------------------------------------------------------===*/
-
-#include <stdlib.h>
-
-void *memcpy(void *destaddr, void const *srcaddr, size_t len) {
-  char *dest = destaddr;
-  char const *src = srcaddr;
-
-  while (len-- > 0)
-    *dest++ = *src++;
-  return destaddr;
-}