Add $tribuf to opt_merge blacklist

This commit is contained in:
Clifford Wolf 2017-06-30 17:44:44 +02:00
parent 5b95901a1e
commit 18c030a8c9
1 changed files with 1 additions and 0 deletions

View File

@ -275,6 +275,7 @@ struct OptMergeWorker
ct.cell_types.erase("$pmux");
}
ct.cell_types.erase("$tribuf");
ct.cell_types.erase("$anyseq");
ct.cell_types.erase("$anyconst");