From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Fri, 28 Feb 2014 14:50:47 +0000 (-0500)
Subject: Merge pull request #12 from kbansal/in-to-member
X-Git-Tag: cvc5-1.0.0~7055
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=76f497ef9444a81143ad35b2eda899e119b8e662;p=cvc5.git

Merge pull request #12 from kbansal/in-to-member

rename the kind IN to MEMBER
---

76f497ef9444a81143ad35b2eda899e119b8e662