diff --git a/repos/base/src/core/include/trace/subject_registry.h b/repos/base/src/core/include/trace/subject_registry.h index 7ac42d135..75e872d93 100644 --- a/repos/base/src/core/include/trace/subject_registry.h +++ b/repos/base/src/core/include/trace/subject_registry.h @@ -350,7 +350,7 @@ class Genode::Trace::Subject_registry Session_label const &label, Thread_name const &name) { Subject *subject = new (®istry._md_alloc) - Subject(Subject_id(registry._id_cnt++), source_id, source, label, name); + Subject(Subject_id(++registry._id_cnt), source_id, source, label, name); registry._entries.insert(subject); }