tree 9440ee4bece8b97bd6a06e36e9d9ee3b8beb1ce9
parent 873f559f2d0adeb18d053349507e74d6fb45d42d
author Krzysztof Bieganski <kbieganski@antmicro.com> 1786302150 +0200
committer Krzysztof Bieganski <kbieganski@antmicro.com> 1786302161 +0200

Remove unused TK_tagged_opt production

Signed-off-by: Krzysztof Bieganski <kbieganski@antmicro.com>