diff --git a/mu/mu-options.cc b/mu/mu-options.cc index f9b13482..4a73bf2a 100644 --- a/mu/mu-options.cc +++ b/mu/mu-options.cc @@ -37,6 +37,7 @@ #include #include #include +#include #include #include #include