sfrehse/metaSMT — pull request #2 by sfrehse (2012-07-03 09:17:50+00:00)
Title: Development

resolved simple typo in TODO. Should be generally revised.