summaryrefslogtreecommitdiff
path: root/parse
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2017-08-26 20:42:20 -0700
committerOri Bernstein <ori@eigenstate.org>2017-08-26 20:42:20 -0700
commit43002686eddf2bf80351b77dfd77337da647d227 (patch)
treef790da0e2043e13f954255ab9a46e205fcf608f0 /parse
parentd6284861a168133c0e72078cb4770796d4fb855d (diff)
downloadmc-43002686eddf2bf80351b77dfd77337da647d227.tar.gz
...The line that fixes things should probably get committed.
Diffstat (limited to 'parse')
-rw-r--r--parse/type.c4
1 files changed, 2 insertions, 2 deletions
diff --git a/parse/type.c b/parse/type.c
index 1b9ffca..e5ffb26 100644
--- a/parse/type.c
+++ b/parse/type.c
@@ -868,8 +868,8 @@ tyeq_rec(Type *a, Type *b, Bitset *avisited, Bitset *bvisited, int search)
}
}
}
- if (ret) {
- }
+ if (ret)
+ equate(a->tid, b->tid);
bsdel(avisited, a->tid);
bsdel(bvisited, b->tid);