diff options
Diffstat (limited to 'src/other_tools/just_mr/cli.hpp')
| -rw-r--r-- | src/other_tools/just_mr/cli.hpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/other_tools/just_mr/cli.hpp b/src/other_tools/just_mr/cli.hpp index 1d6580da..48c06fb8 100644 --- a/src/other_tools/just_mr/cli.hpp +++ b/src/other_tools/just_mr/cli.hpp @@ -23,7 +23,7 @@ #include "CLI/CLI.hpp" #include "fmt/core.h" -#include "gsl-lite/gsl-lite.hpp" +#include "gsl/gsl" #include "nlohmann/json.hpp" #include "src/buildtool/common/clidefaults.hpp" #include "src/buildtool/execution_api/local/config.hpp" |