Opt: Remove commented out duplicated type_id function
authorPierre Moreau <dev@pmoreau.org>
Wed, 29 Nov 2017 23:26:20 +0000 (00:26 +0100)
committerDavid Neto <dneto@google.com>
Mon, 18 Dec 2017 22:29:21 +0000 (17:29 -0500)
commitf35963588bd4ae97366244c141d6fe4449b0964a
tree2b8485b7b147047657babe9ffe59eec74c146d8c
parent0d8ea486527d1b5dc6a6065bfbe66d0665aaee1e
Opt: Remove commented out duplicated type_id function

This code was wrongly added by #693.
source/opt/function.h