gcontini
2019-11-03 0383805b72953ebaa00806a3a39f722e29beb5af
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: