From 28f5e8c5c20aa118be6ea75bfb7eb782f5d6977d Mon Sep 17 00:00:00 2001
From: Anton Khirnov <anton@khirnov.net>
Date: Tue, 29 Oct 2013 12:00:43 +0100
Subject: Update submodules.

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

(limited to 'LocalReduce')

diff --git a/LocalReduce b/LocalReduce
index d55e204..80baf9b 160000
--- a/LocalReduce
+++ b/LocalReduce
@@ -1 +1 @@
-Subproject commit d55e204e11b8f787d517fc1eff5345160913f1c0
+Subproject commit 80baf9bbe8450673af26367f7d523ea8d1b905b3
-- 
cgit v1.2.3