Gabriele Contini
2019-11-10 a5935a3a5f398ddaecb94489d33abbedf2f0fa49
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: