diff --git a/third_party/sophia b/third_party/sophia index 6c6c69d376d8452a7dfefd2086c4934065ab89cc..d42f678c7f4cdbb0dc6216d44a37c07ba2e1b288 160000 --- a/third_party/sophia +++ b/third_party/sophia @@ -1 +1 @@ -Subproject commit 6c6c69d376d8452a7dfefd2086c4934065ab89cc +Subproject commit d42f678c7f4cdbb0dc6216d44a37c07ba2e1b288