From: Dejan Jovanović <dejan.jovanovic@gmail.com>
Date: Thu, 14 Feb 2013 22:10:20 +0000 (-0800)
Subject: Merge pull request #4 from tiliang/master
X-Git-Tag: cvc5-1.0.0~7416
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=85ca0c136bb94cbfc44154f396386db77db660b3;p=cvc5.git

Merge pull request #4 from tiliang/master

a bugfix in rewriting rules
---

85ca0c136bb94cbfc44154f396386db77db660b3