diff options
| author | Pino Toscano <pino@kde.org> | 2016-05-15 14:26:28 (GMT) |
|---|---|---|
| committer | Pino Toscano <pino@kde.org> | 2016-05-15 14:26:28 (GMT) |
| commit | a58eab74ee9881d10e0f24a3ed216ed71ba03bf5 (patch) | |
| tree | 124eaef6832ffc0d7e7c4234e77aafc939cff760 | |
| parent | f68d7c194c8791b69a1b08dc07f14938b8c24820 (diff) | |
include <random> for std::default_random_engine
apparently it was implicitly pulled by other (apt?) headers
| -rw-r--r-- | src/package.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/package.cpp b/src/package.cpp index 1e43a28..0526f9d 100644 --- a/src/package.cpp +++ b/src/package.cpp @@ -46,6 +46,7 @@ #include <apt-pkg/versionmatch.h> #include <algorithm> +#include <random> // Own includes #include "backend.h" |