bazel(third_party/BUILD.bazel): Remove dead code
bazel(third_party/BUILD.bazel): Remove dead code

soonho-tri/dreal4,soonho-tri/dreal4,dreal/dreal4,soonho-tri/dreal4,dreal/dreal4,dreal/dreal4,soonho-tri/dreal4,dreal/dreal4