opencog/opencog — pull request #1158 by williampma (2014-12-23 03:29:18+00:00)
Title: fixes build error

fixes some leftover stuff