commit 1463c0958e83d10b739f4ebb159d9b633cb6c64a
author Brian Silverman <bsilver16384@gmail.com> Fri Oct 30 17:28:24 2020 -0700
committer Brian Silverman <bsilver16384@gmail.com> Mon Nov 02 11:48:41 2020 -0800
tree 3cb2124764f45fd6b134edf86dc2bcd6c9506b22
parent 8e3c36e62ad84acdad40641e4e52bf26f39050ab

Remove easy uses of //aos/mutex

I was hoping to get rid of it completely as one of the nontrivial users
of AOS_LOG, but need to write a compatible condition variable first.

Change-Id: I86c1c4084882bf789baabd0255e115d821154830

y2020/BUILD

diff --git a/y2020/BUILD b/y2020/BUILD
index 38832b8..208b04a 100644
--- a/y2020/BUILD
+++ b/y2020/BUILD
@@ -55,8 +55,8 @@
     visibility = ["//visibility:public"],
     deps = [
         "//aos/logging",
-        "//aos/mutex",
         "//aos/network:team_number",
+        "//aos/stl_mutex",
         "//frc971:constants",
         "//frc971/control_loops:static_zeroing_single_dof_profiled_subsystem",
         "//y2020/control_loops/drivetrain:polydrivetrain_plants",