From: Clark Barrett Date: Thu, 27 Oct 2016 17:11:22 +0000 (-0700) Subject: Merge pull request #99 from 4tXJ7f/fix_dist_build3 X-Git-Tag: cvc5-1.0.0~6018 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=360ad23aa7f04d7059aff6314066e47e975fe5be;p=cvc5.git Merge pull request #99 from 4tXJ7f/fix_dist_build3 Fix typo in Makefile that makes distcheck fail --- 360ad23aa7f04d7059aff6314066e47e975fe5be