Skip to content
Snippets Groups Projects
Verified Commit 718e3a45 authored by Miles Vella's avatar Miles Vella
Browse files

Fix missing follower notification in IntOrReal unification

parent 27b7bc79
No related branches found
No related tags found
No related merge requests found
Pipeline #157625 passed
......@@ -28,6 +28,7 @@ public final class IntegerOrRealType extends AbstractHasFollowers implements IDe
@Override
public TLAType unify(TLAType o) throws UnificationException {
if (o.getKind() == REAL || o.getKind() == INTEGER) {
this.setFollowersTo(o);
return o;
} else if (o.getKind() == INTEGER_OR_REAL || o instanceof UntypedType) {
((AbstractHasFollowers) o).setFollowersTo(this);
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment