1 files changed, 0 insertions, 19 deletions
diff --git a/runtime/POSIX/fd_32.c b/runtime/POSIX/fd_32.c
index 389d7ae8..36c5d41f 100644
--- a/runtime/POSIX/fd_32.c
+++ b/runtime/POSIX/fd_32.c
@@ -18,7 +18,6 @@
 #endif
 
 #include "klee/Config/Version.h"
-#if defined(ENV32) || (LLVM_VERSION_CODE < LLVM_VERSION(3, 2))
 #define _LARGEFILE64_SOURCE
 #include "fd.h"
 
@@ -205,21 +204,3 @@ __attribute__((weak)) int open64(const char *pathname, int flags, ...) {
 
   return __fd_open(pathname, flags, mode);
 }
-
-__attribute__((weak)) off64_t lseek64(int fd, off64_t off, int whence) {
-  return __fd_lseek(fd, off, whence);
-}
-
-__attribute__((weak)) int stat64(const char *path, struct stat64 *buf) {
-  return __fd_stat(path, buf);
-}
-
-__attribute__((weak)) int lstat64(const char *path, struct stat64 *buf) {
-  return __fd_lstat(path, buf);
-}
-
-__attribute__((weak)) int fstat64(int fd, struct stat64 *buf) {
-  return __fd_fstat(fd, buf);
-}
-
-#endif