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