opencog/opencog — pull request #112 by linas (2013-02-28 16:31:27+00:00)
Title: fix bug 111: use score_t not contin_t

score_t is float, contin_t is double, and should not be used
for anything that isn't contin.