mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-28 03:15:50 +00:00
Code Activity

Removing an unused method from bv_rewriter.

Browse source
This commit is contained in:
Mikolas Janota 2016-09-06 18:25:55 +01:00 • committed by Christoph M. Wintersteiger
parent ec47a1df50
commit 147c0f8152
1 changed files with 0 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/ast/rewriter/bv_rewriter.h
View file

@ -80,7 +80,6 @@ class bv_rewriter : public poly_rewriter<bv_rewriter_core> {
br_status rw_leq_overflow(bool is_signed, expr * _a, expr * _b, expr_ref & result);
br_status mk_leq_core(bool is_signed, expr * a, expr * b, expr_ref & result);
br_status fuse_concat(unsigned num_args, expr * const * args, expr_ref & result);
br_status mk_concat(unsigned num_args, expr * const * args, expr_ref & result);
unsigned propagate_extract(unsigned high, expr * arg, expr_ref & result);
br_status mk_extract(unsigned high, unsigned low, expr * arg, expr_ref & result);