gcontini
2019-11-10 1c18dbea1cbd759aaf42a7e78afe0d8781065a50
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: