r781: fixed the buggy heapmerge (resolves #166)

This commit is contained in:
Heng Li
2018-05-30 11:55:14 -04:00
parent d7b61a039e
commit 872f300955
2 changed files with 14 additions and 13 deletions
+1 -1
View File
@@ -10,7 +10,7 @@
#include "getopt.h"
#endif
#define MM_VERSION "2.10-r777-dirty"
#define MM_VERSION "2.10-r781-dirty"
#ifdef __linux__
#include <sys/resource.h>