From: Clark Barrett <barrett@cs.stanford.edu>
Date: Fri, 18 Nov 2016 23:20:00 +0000 (-0800)
Subject: Merge pull request #110 from 4tXJ7f/fix_makefiles
X-Git-Tag: cvc5-1.0.0~5972
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c1f42884d4a277c2dadb876c967d0d7097b7b5f0;p=cvc5.git

Merge pull request #110 from 4tXJ7f/fix_makefiles

Fix Makefiles in test
---

c1f42884d4a277c2dadb876c967d0d7097b7b5f0