aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/clients/cave/cmd_show.cc1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/clients/cave/cmd_show.cc b/src/clients/cave/cmd_show.cc
index 606f47787..8b6b07fee 100644
--- a/src/clients/cave/cmd_show.cc
+++ b/src/clients/cave/cmd_show.cc
@@ -54,6 +54,7 @@
#include <iostream>
#include <algorithm>
#include <set>
+#include <limits>
#include "command_command_line.hh"