remove stale file

Z3Prover · Mar 1, 2023 · e87fa1c · e87fa1c
1 parent 79d47eb
commit e87fa1c
Showing 1 changed file with 0 additions and 42 deletions.
diff --git a/src/tactic/arith/bound_simplifier_tactic.h b/src/tactic/arith/bound_simplifier_tactic.h