diff options
author | Bardur Arantsson <bardur@scientician.net> | 2016-05-12 21:51:55 +0200 |
---|---|---|
committer | Bardur Arantsson <bardur@scientician.net> | 2016-05-12 21:54:57 +0200 |
commit | 7f7462188e2a213518acc979e3698746f098d7ab (patch) | |
tree | 4140b281345d4b370263b4308df72a11b32a0884 /src | |
parent | 899041ce6b7cbc33e8cb3124aaa54b518c4a4b72 (diff) |
Add missing include
Diffstat (limited to 'src')
-rw-r--r-- | src/cmd4.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/cmd4.cc b/src/cmd4.cc index 71ca24fe..fa436115 100644 --- a/src/cmd4.cc +++ b/src/cmd4.cc @@ -42,6 +42,7 @@ #include <cassert> #include <format.h> #include <memory> +#include <numeric> #include <string> #include <vector> |