diff options
Diffstat (limited to 'src/third_party/wiredtiger/src/include/wt_internal.h')
-rw-r--r-- | src/third_party/wiredtiger/src/include/wt_internal.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/third_party/wiredtiger/src/include/wt_internal.h b/src/third_party/wiredtiger/src/include/wt_internal.h index 9fcf1401a4c..df3ee2da174 100644 --- a/src/third_party/wiredtiger/src/include/wt_internal.h +++ b/src/third_party/wiredtiger/src/include/wt_internal.h @@ -1,5 +1,5 @@ /*- - * Copyright (c) 2014-2017 MongoDB, Inc. + * Copyright (c) 2014-2018 MongoDB, Inc. * Copyright (c) 2008-2014 WiredTiger, Inc. * All rights reserved. * @@ -35,6 +35,7 @@ extern "C" { #endif #include <errno.h> #include <fcntl.h> +#include <float.h> #include <inttypes.h> #ifdef _WIN32 #include <io.h> |