opencog/opencog — pull request #211 by 5aurabhpathak (2013-06-25 13:50:47+00:00)
Title: Updated deprecated shared_dynamic_cast to dynamic_pointer_cast

three files updated!