diff --git a/third_party/sophia b/third_party/sophia index 404843c39deabe82227802943568322f79f496a1..ac0dcc09f737f0bc40a90b32f6e083186e6b0f48 160000 --- a/third_party/sophia +++ b/third_party/sophia @@ -1 +1 @@ -Subproject commit 404843c39deabe82227802943568322f79f496a1 +Subproject commit ac0dcc09f737f0bc40a90b32f6e083186e6b0f48