From: Tim King <taking@cs.nyu.edu>
Date: Tue, 22 Nov 2016 07:25:25 +0000 (-0800)
Subject: Merge pull request #111 from 4tXJ7f/fix_test_includes
X-Git-Tag: cvc5-1.0.0~5968
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=9c14d7c0ccdd220b8ae3d4a39cb5b5810bc28c01;p=cvc5.git

Merge pull request #111 from 4tXJ7f/fix_test_includes

Remove unused, libstdc++-exclusive include
---

9c14d7c0ccdd220b8ae3d4a39cb5b5810bc28c01