From: Tim King <taking@cs.nyu.edu>
Date: Thu, 10 Nov 2016 01:04:02 +0000 (-0800)
Subject: Merge pull request #103 from timothy-king/uniq-ptr
X-Git-Tag: cvc5-1.0.0~5992
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=fd24718e1d1127e648f789920fb413da3118d998;p=cvc5.git

Merge pull request #103 from timothy-king/uniq-ptr

Adds a C++05 version of unique_ptr. Used this to solve a garbage coll…
---

fd24718e1d1127e648f789920fb413da3118d998