From 3749124d09fb93b44d20e45c73fb1c4a7590060d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Frederik=20Hangh=C3=B8j=20Iversen?= <fhi.1990@gmail.com>
Date: Wed, 7 Mar 2018 15:38:37 +0100
Subject: [PATCH] Switch to experimental branch of stdlib

---
 libs/agda-stdlib | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/libs/agda-stdlib b/libs/agda-stdlib
index 87d28d7..fbd8ba7 160000
--- a/libs/agda-stdlib
+++ b/libs/agda-stdlib
@@ -1 +1 @@
-Subproject commit 87d28d7d753f73abd20665d7bbb88f9d72ed88aa
+Subproject commit fbd8ba7ea84c4b643fd08797b4031b18a59f561d