diff --git a/src/util/mem_stat.cpp b/src/util/mem_stat.cpp
deleted file mode 100644
index c0753dea9..000000000
--- a/src/util/mem_stat.cpp
+++ /dev/null
@@ -1,56 +0,0 @@
-/*++
-Copyright (c) 2006 Microsoft Corporation
-
-Module Name:
-
-    mem_stat.cpp
-
-Abstract:
-
-    Memory usage statistics
-
-Author:
-
-    Leonardo de Moura (leonardo) 2006-11-09.
-
-Revision History:
-
---*/
-
-#ifdef _WINDOWS
-#include<windows.h>
-#include<cstdio>
-#include<psapi.h>
-
-double get_max_heap_size() {
-    DWORD processID = GetCurrentProcessId();
-    HANDLE hProcess;
-    PROCESS_MEMORY_COUNTERS pmc;
-    
-    hProcess = OpenProcess(PROCESS_QUERY_INFORMATION |
-                           PROCESS_VM_READ,
-                           FALSE, processID);
-    double result = -1.0;
-
-    if (NULL == hProcess) {
-        return -1.0;
-    }
-    
-    if (GetProcessMemoryInfo( hProcess, &pmc, sizeof(pmc))) {
-        result = static_cast<double>(pmc.PeakWorkingSetSize) / static_cast<double>(1024*1024);
-    }
-
-    CloseHandle( hProcess );
-
-    return result;
-}
-
-#else
-
-double get_max_heap_size() {
-    // not available in this platform
-    return -1.0;
-}
-
-#endif
-
diff --git a/src/util/mem_stat.h b/src/util/mem_stat.h
deleted file mode 100644
index 84c7d0096..000000000
--- a/src/util/mem_stat.h
+++ /dev/null
@@ -1,25 +0,0 @@
-/*++
-Copyright (c) 2006 Microsoft Corporation
-
-Module Name:
-
-    mem_stat.h
-
-Abstract:
-
-    Memory usage statistics
-
-Author:
-
-    Leonardo de Moura (leonardo) 2006-11-09.
-
-Revision History:
-
---*/
-#ifndef _MEM_STAT_H_
-#define _MEM_STAT_H_
-
-double get_max_heap_size();
-
-#endif /* _MEM_STAT_H_ */
-