From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Sat, 8 Dec 2012 14:38:24 +0000 (-0500)
Subject: Merge from 1.0.x (bugfix for 476).
X-Git-Tag: cvc5-1.0.0~7472
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a8a471141d2fca4428b7c016ea4494d9925fc544;p=cvc5.git

Merge from 1.0.x (bugfix for 476).
---

a8a471141d2fca4428b7c016ea4494d9925fc544