Eliminate use of boost::shared_ptr

This commit is contained in:
Jason Turner
2011-09-10 07:24:46 -06:00
parent afa96ecbf9
commit e2da56f199
5 changed files with 6 additions and 6 deletions

View File

@@ -156,7 +156,7 @@ namespace chaiscript
{
if (!ob.get_type_info().is_const())
{
return boost::const_pointer_cast<const Result>(boost::any_cast<std::shared_ptr<Result> >(ob.get()));
return std::const_pointer_cast<const Result>(boost::any_cast<std::shared_ptr<Result> >(ob.get()));
} else {
return boost::any_cast<std::shared_ptr<const Result> >(ob.get());
}