From: Clark Barrett <barrett@cs.stanford.edu>
Date: Wed, 19 Apr 2017 03:30:42 +0000 (-0700)
Subject: Merge pull request #147 from makaimann/coverage_fix
X-Git-Tag: cvc5-1.0.0~5832
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f5be8f194bb40327f05ed87272e95722562b2483;p=cvc5.git

Merge pull request #147 from makaimann/coverage_fix

Coverage fix
---

f5be8f194bb40327f05ed87272e95722562b2483