ChaiScript/ChaiScript — pull request #92 by da2ce7 (2013-12-03 05:50:19+00:00)
Title: fix for new boost::shared_ptr in bootstrap.hpp

Just a quick fix for boost::shared_ptr :)