opencog/opencog — pull request #944 by sebastianruder (2014-07-23 11:36:30+00:00)
Title: Fix for #735

Fix for https://github.com/opencog/opencog/issues/735.