spechub/Hets — pull request #1327 by cmaeder (2014-08-13 13:14:30+00:00)
Title: only output the top-level (last) LIB_DEFN

fixes #1321