projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 29e5b12 c1cdecf)
Merge pull request #12 from kbansal/in-to-member
authorKshitij Bansal <kshitij@cs.nyu.edu>
Fri, 28 Feb 2014 14:50:47 +0000 (09:50 -0500)
committerKshitij Bansal <kshitij@cs.nyu.edu>
Fri, 28 Feb 2014 14:50:47 +0000 (09:50 -0500)
rename the kind IN to MEMBER


Trivial merge