opencog/opencog — pull request #833 by linas (2014-06-06 17:46:42+00:00)
Title: Work-around for bug #831

There's a serious underlying MOSES issue; this work-around just masks it.