r794: fixed a bug in seed filtering

This commit is contained in:
Heng Li
2018-06-20 10:26:29 -04:00
parent e9ca0c9dab
commit 66674afd09
3 changed files with 13 additions and 12 deletions
+1 -1
View File
@@ -10,7 +10,7 @@
#include "getopt.h"
#endif
#define MM_VERSION "2.10-r792-dirty"
#define MM_VERSION "2.10-r794-dirty"
#ifdef __linux__
#include <sys/resource.h>