diff options
| author | Alex Ozdemir <aozdemir@hmc.edu> | 2020-10-02 05:26:28 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-10-02 07:26:28 -0500 |
| commit | 16c772966206835c7f380e3a926e51af75ec3584 (patch) | |
| tree | aaa4fe0b6d19089ebce5cbd36aa4c476da9e623d /proofs | |
| parent | 86cc730908085942f4df19e3b24ebddc7557396f (diff) | |
Remove duplicate declarations in th_bv.plf (#5183)
I think this is dead code now, but still good to fix.
Diffstat (limited to 'proofs')
| -rw-r--r-- | proofs/signatures/th_bv.plf | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/proofs/signatures/th_bv.plf b/proofs/signatures/th_bv.plf index 934951a86..f0ced51c7 100644 --- a/proofs/signatures/th_bv.plf +++ b/proofs/signatures/th_bv.plf @@ -72,7 +72,6 @@ (declare bvand bvop2) (declare bvor bvop2) -(declare bvor bvop2) (declare bvxor bvop2) (declare bvnand bvop2) (declare bvnor bvop2) @@ -88,7 +87,6 @@ (declare bvshl bvop2) (declare bvlshr bvop2) (declare bvashr bvop2) -(declare concat bvop2) ; bit vector unary operators (define bvop1 |