From 492146ba236ae1cad82c847102f0c222ede26ed8 Mon Sep 17 00:00:00 2001
From: Dmitry Simonenko <pmwkaa@gmail.com>
Date: Mon, 14 Nov 2016 18:33:01 +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 3060192a..d086c3d0 160000
--- a/lib/flint
+++ b/lib/flint
@@ -1 +1 @@
-Subproject commit 3060192ad1edff65b0ca06f391c3a5241670dca1
+Subproject commit d086c3d011044d93ab1e4fa1b94b8d193c68a6b1