diff --git a/.gitmodules b/.gitmodules index 70653bf9e2..350885ac54 100644 --- a/.gitmodules +++ b/.gitmodules @@ -2,10 +2,6 @@ path = external/json url = https://github.com/nlohmann/json.git ignore = dirty -[submodule "lib/googletest"] - path = external/googletest - url = https://github.com/google/googletest.git - branch = master [submodule "external/json-schema-validator"] path = external/json-schema-validator url = https://github.com/pboettch/json-schema-validator.git diff --git a/lib/Utils/DOTGraph.cpp b/lib/Utils/DOTGraph.cpp index f745336c22..1bd7dc7d30 100644 --- a/lib/Utils/DOTGraph.cpp +++ b/lib/Utils/DOTGraph.cpp @@ -18,11 +18,11 @@ #include "nlohmann/json.hpp" -#include #include #include #include #include +#include #include namespace psr {