diff options
Diffstat (limited to 'src/analysis/lattices/shared.h')
| -rw-r--r-- | src/analysis/lattices/shared.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/analysis/lattices/shared.h b/src/analysis/lattices/shared.h index 489ed0003..e75b895ea 100644 --- a/src/analysis/lattices/shared.h +++ b/src/analysis/lattices/shared.h @@ -106,7 +106,8 @@ template<Lattice L> struct Shared { return false; } - bool join(Element& joinee, const typename L::Element& joiner) const noexcept { + template<typename Elem> + bool join(Element& joinee, const Elem& joiner) const noexcept { if (lattice.join(val, joiner)) { // We have moved to the next value in our ascending chain. Assign it a new // sequence number and update joinee with that sequence number. |