From 0383805b72953ebaa00806a3a39f722e29beb5af Mon Sep 17 00:00:00 2001 From: gcontini <1121667+gcontini@users.noreply.github.com> Date: 周日, 03 11月 2019 15:35:29 +0800 Subject: [PATCH] issue #42 (first part) --- src/library/base/EventRegistry.h | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/src/library/base/EventRegistry.h b/src/library/base/EventRegistry.h index f5fec62..af5389b 100644 --- a/src/library/base/EventRegistry.h +++ b/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: -- Gitblit v1.9.1