diff --git a/third_party/sophia b/third_party/sophia index 591f0e412e6e73988c509ffda246768ca1856ada..95a187853ad34e858897871e6b4047df82febf89 160000 --- a/third_party/sophia +++ b/third_party/sophia @@ -1 +1 @@ -Subproject commit 591f0e412e6e73988c509ffda246768ca1856ada +Subproject commit 95a187853ad34e858897871e6b4047df82febf89