diff --git a/passes/cmds/timeest.cc b/passes/cmds/timeest.cc
index 1a54360cc..dec7f5237 100644
--- a/passes/cmds/timeest.cc
+++ b/passes/cmds/timeest.cc
@@ -25,6 +25,7 @@
 #include "kernel/mem.h"
 
 #include <assert.h>
+#include <limits>
 
 USING_YOSYS_NAMESPACE
 template<> struct hash_ops<AigNode *> : hash_ptr_ops {};