diff --git a/src/cltools/GenJson.cpp b/src/cltools/GenJson.cpp index 44ae7ced84..bd609eb880 100644 --- a/src/cltools/GenJson.cpp +++ b/src/cltools/GenJson.cpp @@ -126,11 +126,11 @@ int GenJson::main(FILE* in, FILE*out,Communicator& pc) { // This is used for noting actions that have been deprecated std::string replacement = keys.getReplacementAction(); if( replacement!="none" ) { - bool found=false; - for(unsigned j=0; j