From a6d7bcef8d5fe9b46923207a87781182c08488aa Mon Sep 17 00:00:00 2001
From: Dmitry Simonenko <pmwkaa@gmail.com>
Date: Thu, 10 Nov 2016 13:30:39 +0300
Subject: [PATCH] odissey: update flint submodule

---
 lib/flint | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/flint b/lib/flint
index 095a3440..3060192a 160000
--- a/lib/flint
+++ b/lib/flint
@@ -1 +1 @@
-Subproject commit 095a3440cdf713856d7eacde8d79bb655333d16c
+Subproject commit 3060192ad1edff65b0ca06f391c3a5241670dca1