gcontini
2019-11-16 5a8a12d7a2c69610cd7a9a00ed1b3579b750a914
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: