opencog/opencog — pull request #374 by linas (2013-11-04 20:20:32+00:00)
Title: fix build break

for some reason, the benchmark is never rebuilt automatically, and I just don't see why not ...