From: Andrew Reynolds <andrew.j.reynolds@gmail.com>
Date: Mon, 20 Mar 2017 20:42:16 +0000 (-0500)
Subject: Merge pull request #135 from PaulMeng/master
X-Git-Tag: cvc5-1.0.0~5880
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6f8aaff4519161f85a057322f87cb8863738c916;p=cvc5.git

Merge pull request #135 from PaulMeng/master

fixed cvc4 parser for set complement
---

6f8aaff4519161f85a057322f87cb8863738c916