From 47e54a0902eb9b3bbb234ed8a37266b55d86e866 Mon Sep 17 00:00:00 2001
From: Ben Gamari <ben@smart-cactus.org>
Date: Sun, 5 Aug 2018 10:27:40 -0400
Subject: Bump hadrian submodule

---
 hadrian | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'hadrian/src/Oracles/Flag.hs')

diff --git a/hadrian b/hadrian
index a63ad3294b..4265e3aab7 160000
--- a/hadrian
+++ b/hadrian
@@ -1 +1 @@
-Subproject commit a63ad3294b5d51eec50d454810a314c0b2a696c7
+Subproject commit 4265e3aab7df92722b81148cf8bf3954ebfc2d21
-- 
cgit v1.2.1