From: Clark Barrett <barrett@cs.stanford.edu>
Date: Fri, 16 Jun 2017 19:46:47 +0000 (-0700)
Subject: Merge pull request #170 from CVC4/fix_2_6_parser3
X-Git-Tag: cvc5-1.0.0~5768
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b3e1f7ade822d061f276a9477f1ea67fcb1f3a50;p=cvc5.git

Merge pull request #170 from CVC4/fix_2_6_parser3

Parse 'is', 'match' differently for non-DT input
---

b3e1f7ade822d061f276a9477f1ea67fcb1f3a50