diff options
author | Jack Lloyd <[email protected]> | 2017-10-24 15:18:02 -0400 |
---|---|---|
committer | Jack Lloyd <[email protected]> | 2017-10-24 15:18:02 -0400 |
commit | 00d6b7c01429682b4f12d007ad5ce20e8492afda (patch) | |
tree | 64b8c4fa56abc9a87287eeff56f27ae8226e019c | |
parent | 39314a242f1a98d7493410ebddd449fa57813bc2 (diff) |
Add header for std::min
-rw-r--r-- | src/cli/main.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
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[]) { |