Skip to content
Commit 246f0617 authored by Andreas Klöckner's avatar Andreas Klöckner
Browse files

Merge pull request #23 from Manticore/obsolete-obj-ptr 

Fixed an obsolete access to ``obj_ptr`` attribute.
parents 2a05c801 b387dd36
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment