Temps de compilation et json.hpp
Pour l'instant json.hpp
est inclus... dans tools.h
, donc quasiment partout.
Pistes :
- retirer cela d'au moins
tools.h
- utiliser si possible
json_fwd.h
à certains endroits https://github.com/nlohmann/json/issues/314
Et #2935.