diff options
Diffstat (limited to 'pmt/src/lib')
| -rw-r--r-- | pmt/src/lib/pmt.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pmt/src/lib/pmt.cc b/pmt/src/lib/pmt.cc index b2c04b390..a141224b3 100644 --- a/pmt/src/lib/pmt.cc +++ b/pmt/src/lib/pmt.cc @@ -28,6 +28,7 @@ #include "pmt_int.h" #include <stdio.h> #include <pmt_pool.h> +#include <string.h> static const int CACHE_LINE_SIZE = 64; // good guess |