diff options
author | 2016-12-13 15:10:52 -0800 | |
---|---|---|
committer | 2016-12-13 15:10:52 -0800 | |
commit | 4a9892e3de301f1148ffe1dc072652f329773d73 (patch) | |
tree | e05142853e4e28694167c812261ffad9474642ac | |
parent | 6ecace2d28e1fd4cfe99dcedddd7a27d8eb97934 (diff) | |
download | paludis-4a9892e3de301f1148ffe1dc072652f329773d73.tar.gz paludis-4a9892e3de301f1148ffe1dc072652f329773d73.tar.xz |
repositories: ensure that the destructor is materialised
-rw-r--r-- | paludis/repositories/e/xml_things.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/paludis/repositories/e/xml_things.cc b/paludis/repositories/e/xml_things.cc index debd4c1f8..41fed25a0 100644 --- a/paludis/repositories/e/xml_things.cc +++ b/paludis/repositories/e/xml_things.cc @@ -22,6 +22,7 @@ #include <paludis/util/make_named_values.hh> #include <paludis/util/sequence.hh> #include <paludis/util/map.hh> +#include <paludis/util/map-impl.hh> #include <paludis/util/tokeniser.hh> #include <paludis/choice.hh> #include <paludis/maintainer.hh> |