opencog/opencog — pull request #161 by linas (2013-04-28 03:09:37+00:00)
Title: add missing include file

The build broke because this was missing...