From 00d6b7c01429682b4f12d007ad5ce20e8492afda Mon Sep 17 00:00:00 2001
From: Jack Lloyd <jack@randombit.net>
Date: Tue, 24 Oct 2017 15:18:02 -0400
Subject: Add header for std::min

---
 src/cli/main.cpp | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/cli/main.cpp')

diff --git a/src/cli/main.cpp b/src/cli/main.cpp
index 167052c9d..74cf71d37 100644
--- a/src/cli/main.cpp
+++ b/src/cli/main.cpp
@@ -7,6 +7,7 @@
 #include "cli.h"
 #include <botan/version.h>
 #include <iostream>
+#include <algorithm>
 
 int main(int argc, char* argv[])
    {
-- 
cgit v1.2.3