From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Thu, 13 Jul 2017 21:41:35 +0000 (-0700)
Subject: Merge pull request #188 from aniemetz/cx11
X-Git-Tag: cvc5-1.0.0~5722
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=21f1b73de084ec182718240010c5e4abb05bff5b;p=cvc5.git

Merge pull request #188 from aniemetz/cx11

autoconf: make -std=gnu++11 mandatory
---

21f1b73de084ec182718240010c5e4abb05bff5b