Closed ntoxeg closed 3 years ago
@ntoxeg, is this fix complementary to https://github.com/opencog/atomspace/pull/2813, or contradictory? (in other words, should I merge?)
I saw that @linas merged a similar PR https://github.com/opencog/spacetime/pull/9, thus I assume it is complementary and merge, please reverse if wrong.
This is the actual fix, the opencog/atomspace#2813 change should be reverted as it doesn’t fix anything.
Fixes #43.