diff options
-rw-r--r-- | vowpalwabbit/topk.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/vowpalwabbit/topk.cc b/vowpalwabbit/topk.cc index 234c72f2..52f03ad9 100644 --- a/vowpalwabbit/topk.cc +++ b/vowpalwabbit/topk.cc @@ -3,6 +3,7 @@ Copyright (c) by respective owners including Yahoo!, Microsoft, and individual contributors. All rights reserved. Released under a BSD (revised) license as described in the file LICENSE. */ +#include <float.h> #include <sstream> #include <queue> |