From: Tim King <taking@cs.nyu.edu>
Date: Wed, 19 Oct 2016 16:40:12 +0000 (-0700)
Subject: Merge pull request #97 from 4tXJ7f/fix_rewrite
X-Git-Tag: cvc5-1.0.0~6024
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=3e93fdba8102e4ad1399af78967fec3d0495722a;p=cvc5.git

Merge pull request #97 from 4tXJ7f/fix_rewrite

Fix minor bug and typo in boolean rewriter
---

3e93fdba8102e4ad1399af78967fec3d0495722a