From: Clark Barrett <barrett@cs.stanford.edu>
Date: Wed, 11 Jan 2017 19:03:22 +0000 (-0800)
Subject: Merge pull request #127 from cristian-mattarei/issue_679
X-Git-Tag: cvc5-1.0.0~5921
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=13dee9ff9189134158ff21524e7ecc73dcdce971;p=cvc5.git

Merge pull request #127 from cristian-mattarei/issue_679

Bug 679 fix
---

13dee9ff9189134158ff21524e7ecc73dcdce971