From: Clark Barrett <barrett@cs.stanford.edu>
Date: Sat, 14 Jan 2017 04:18:16 +0000 (-0800)
Subject: Merge pull request #130 from chadbrewbaker/master
X-Git-Tag: cvc5-1.0.0~5916
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=fda8400531b63ccc728b1ce22ccf000067707df8;p=cvc5.git

Merge pull request #130 from chadbrewbaker/master

Fixing memory leak
---

fda8400531b63ccc728b1ce22ccf000067707df8