From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Fri, 11 Jul 2014 00:11:04 +0000 (-0400)
Subject: Merge pull request #48 from kbansal/segfaultfix
X-Git-Tag: cvc5-1.0.0~6700
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2c037ea1b1732e24d62e45bde042592589b04d35;p=cvc5.git

Merge pull request #48 from kbansal/segfaultfix

Segfaultfix
---

2c037ea1b1732e24d62e45bde042592589b04d35