From: Clark Barrett <barrett@cs.stanford.edu>
Date: Wed, 30 Nov 2016 23:31:50 +0000 (-0800)
Subject: Merge pull request #115 from 4tXJ7f/bug766
X-Git-Tag: cvc5-1.0.0~5964
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=154002c3a1b07ead16cfcac05a7580abc424e472;p=cvc5.git

Merge pull request #115 from 4tXJ7f/bug766

Fix parsing of BVROTR by CVC parser
---

154002c3a1b07ead16cfcac05a7580abc424e472