diff options
| -rw-r--r-- | apt-private/private-cmndline.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/apt-private/private-cmndline.cc b/apt-private/private-cmndline.cc index 7ea18782c..c26a3f7f4 100644 --- a/apt-private/private-cmndline.cc +++ b/apt-private/private-cmndline.cc @@ -21,6 +21,8 @@ #include <algorithm> #include <iomanip> +#include <optional> +#include <utility> #include <vector> #include <apti18n.h> |