gcontini
2019-11-10 bd25f8043a261f59083d869f33ac0ecbd67cf02f
src/library/base/EventRegistry.h
@@ -31,7 +31,7 @@
    * For every license keep track of the events who progressed most
    * in the validation process
    */
   std::map<std::string,int> mostAdvancedLogIdx_by_LicenseId;
   std::map<std::string,size_t> mostAdvancedLogIdx_by_LicenseId;
   int current_validation_step;
public: