Remove unneeded dependency

This was accidently added. Cleanup. PiperOrigin-RevId: 649146370
google · Jul 3, 2024 · dcb2187 · dcb2187
1 parent 9c0fb91
commit dcb2187
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/xls/ir/BUILD b/xls/ir/BUILD
@@ -2164,7 +2164,6 @@ cc_test(
         "//xls/common:xls_gunit_main",
         "//xls/common/status:matchers",
         "//xls/solvers:z3_ir_equivalence",
-        "//xls/solvers:z3_ir_translator",
         "//xls/solvers:z3_ir_translator_matchers",
         "@com_google_googletest//:gtest",
     ],