Problem reported by Denis Naumov.
newvers_t &newvers = ctx.dc_newvers;
clositer_t b = clos.begin(), e = clos.end(), c;
- newver_cmp_t cmp(thist, ctx.dc_hc_caches);
- newvers_t newacts(cmp);
+ newvers_t newacts(newver_cmp_t(thist, ctx.dc_hc_caches));
tcmd_t *cmd = NULL;
// for each tag, if there is at least one tagged transition,
}
-bool newver_cmp_t::operator()(const newver_t &x, const newver_t &y)
+bool newver_cmp_t::operator()(const newver_t &x, const newver_t &y) const
{
if (x.tag < y.tag) return true;
if (x.tag > y.tag) return false;
hc_caches_t &caches;
newver_cmp_t(tag_history_t &h, hc_caches_t &c): history(h), caches(c) {}
- bool operator()(const newver_t &, const newver_t &);
+ bool operator()(const newver_t &, const newver_t &) const;
};