diff --git a/third_party/sophia b/third_party/sophia index c6d5a1b6b19adef6a47ff8ee49bbc3a2845b73ae..d7010473cfe8ceb7b1254183a77d286aa0cd3b11 160000 --- a/third_party/sophia +++ b/third_party/sophia @@ -1 +1 @@ -Subproject commit c6d5a1b6b19adef6a47ff8ee49bbc3a2845b73ae +Subproject commit d7010473cfe8ceb7b1254183a77d286aa0cd3b11