Merge pull request #311 from treeowl/set-ptr-equality
authorDavid Feuer <David.Feuer@gmail.com>
Mon, 1 Aug 2016 17:32:58 +0000 (13:32 -0400)
committerGitHub <noreply@github.com>
Mon, 1 Aug 2016 17:32:58 +0000 (13:32 -0400)
commit60f4f76a61cbd0feeb4d71f062c2b8387e1a0d57
treea06087fcc9d05a830ff2edd360b643c7dfa0459c
parent2a8f77cd916fd85d00b528d87383f3a1505e9734
parentb5fb21e73392c5c0077e8eb62f0ff7093e2199f0
Merge pull request #311 from treeowl/set-ptr-equality

Use pointer equality to enhance sharing for Sets