Fixed an obsolete access to ``obj_ptr`` attribute.
Merge pull request #23 from Manticore/obsolete-obj-ptr

Fixed an obsolete access to ``obj_ptr`` attribute.