Commit c8662bf1 authored by Akim Demaille's avatar Akim Demaille
Browse files

rat: benefit from compare

Rather than calling equal _and_ less.
parent 0dc8cfda
Pipeline #1158 passed with stage
in 149 minutes and 39 seconds
......@@ -268,7 +268,7 @@ namespace vcsn
auto r = std::dynamic_pointer_cast<const atom_t>(rhs)->value();
const auto& ls = *rs_.labelset();
// Require strictly increasing order.
return ls.less(l, r) || ls.equal(l, r);
return, r) <= 0;
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment