From a9b0ba3686b207a7c5a82963bca458c5d2e69a80 Mon Sep 17 00:00:00 2001
From: Roman Tsisyk <roman@tsisyk.com>
Date: Wed, 13 Jan 2016 16:17:48 +0300
Subject: [PATCH] Update sophia to fix #1239

---
 third_party/sophia | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/third_party/sophia b/third_party/sophia
index bd2740915d..a7c6db77fa 160000
--- a/third_party/sophia
+++ b/third_party/sophia
@@ -1 +1 @@
-Subproject commit bd2740915d7f0f9752724cb7d221e4ef24e5d87b
+Subproject commit a7c6db77fa558b44f33226164400e090a6e05c16
-- 
GitLab