diff options
| author | gingerBill <bill@gingerbill.org> | 2022-01-19 15:14:15 +0000 |
|---|---|---|
| committer | gingerBill <bill@gingerbill.org> | 2022-01-19 15:14:15 +0000 |
| commit | ecdaac9921fbf351bfddaf920553855ae6a5d58f (patch) | |
| tree | 13edf16cb57cbed3e7eb5595cc083dcb5bfd636b /src/docs_writer.cpp | |
| parent | 5ff82fc1132a05d76592e8e21db98913cd498f64 (diff) | |
Unify `are_types_identical_unique_tuples`
Diffstat (limited to 'src/docs_writer.cpp')
| -rw-r--r-- | src/docs_writer.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/docs_writer.cpp b/src/docs_writer.cpp index f1f110a57..c2d07dc12 100644 --- a/src/docs_writer.cpp +++ b/src/docs_writer.cpp @@ -483,7 +483,7 @@ OdinDocTypeIndex odin_doc_type(OdinDocWriter *w, Type *type) { for_array(i, w->type_cache.entries) { // NOTE(bill): THIS IS SLOW Type *other = w->type_cache.entries[i].key; - if (are_types_identical(type, other, true)) { + if (are_types_identical_unique_tuples(type, other)) { OdinDocTypeIndex index = w->type_cache.entries[i].value; map_set(&w->type_cache, type, index); return index; |