summaryrefslogtreecommitdiff
path: root/parse/type.c
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2016-05-10 11:33:26 -0700
committerOri Bernstein <ori@eigenstate.org>2016-05-10 11:33:26 -0700
commit709e7754dcec96e08464e52bb4c1551e427b5c06 (patch)
treea6b8f4076386ef081b571d7a80ceb35f0ae9c191 /parse/type.c
parent2f8d3d7f2e4e3592b0a2fce30a4ec218aafe9bce (diff)
downloadmc-709e7754dcec96e08464e52bb4c1551e427b5c06.tar.gz
Remove values from the visited set.
Diffstat (limited to 'parse/type.c')
-rw-r--r--parse/type.c1
1 files changed, 1 insertions, 0 deletions
diff --git a/parse/type.c b/parse/type.c
index 474007c..df123d1 100644
--- a/parse/type.c
+++ b/parse/type.c
@@ -637,6 +637,7 @@ static int tybfmt(char *buf, size_t len, Bitset *visited, Type *t)
if (t->type == Tyvar || t->type == Typaram)
p += traitfmt(p, end - p, t);
+ bsdel(visited, t->tid);
return p - buf;
}