removed tracing code causing slowdown; cleaned up some code
authorlianah <lianahady@gmail.com>
Wed, 1 May 2013 19:31:10 +0000 (15:31 -0400)
committerlianah <lianahady@gmail.com>
Wed, 1 May 2013 19:31:10 +0000 (15:31 -0400)
commita0cf1089d3d9c36b4493de3e0498464bb50d950b
treeea6a9db886bf905afedbfb2836625174f7d80f5e
parent54e6807cec9523a3f5b5279e5a5fce8f9ba4f76a
removed tracing code causing slowdown; cleaned up some code
src/theory/bv/theory_bv.cpp
src/theory/bv/theory_bv_rewrite_rules_operator_elimination.h
src/theory/bv/theory_bv_rewriter.cpp
src/theory/term_registration_visitor.h