From: Tim King <taking@cs.nyu.edu>
Date: Sat, 15 Dec 2012 02:07:00 +0000 (-0500)
Subject: Merging in patch from branch '1.0.x'.
X-Git-Tag: cvc5-1.0.0~7466
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=cb3c0621a7d54325c8863d315ea7569fa70bdc10;p=cvc5.git

Merging in patch from branch '1.0.x'.
---

cb3c0621a7d54325c8863d315ea7569fa70bdc10