From: Clark Barrett <barrett@cs.stanford.edu>
Date: Fri, 2 Dec 2016 22:17:49 +0000 (-0800)
Subject: Merge pull request #113 from 4tXJ7f/remove_extract_rule
X-Git-Tag: cvc5-1.0.0~5959
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=8f8e1b01ba012c438ce76701f185006364a5c448;p=cvc5.git

Merge pull request #113 from 4tXJ7f/remove_extract_rule

Remove wrong `ExtractMultLeadingBit` rule
---

8f8e1b01ba012c438ce76701f185006364a5c448