diff options
Diffstat (limited to 'paludis/repositories/e/e_repository_profile.cc')
| -rw-r--r-- | paludis/repositories/e/e_repository_profile.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/paludis/repositories/e/e_repository_profile.cc b/paludis/repositories/e/e_repository_profile.cc index 17ed4b097..c9718096a 100644 --- a/paludis/repositories/e/e_repository_profile.cc +++ b/paludis/repositories/e/e_repository_profile.cc @@ -30,6 +30,7 @@ #include <paludis/util/join.hh> #include <paludis/util/sequence.hh> #include <paludis/util/set.hh> +#include <paludis/util/options.hh> #include <paludis/config_file.hh> #include <paludis/dep_tag.hh> #include <paludis/eapi.hh> |