From b3aa38b3534e402a706712dc56c3990ebe1acd05 Mon Sep 17 00:00:00 2001
From: Adam Megacz <adam@megacz.com>
Date: Mon, 7 Mar 2011 21:48:54 -0800
Subject: [PATCH] fix compiler/coq submodule reference

---
 compiler/coq |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/compiler/coq b/compiler/coq
index 666a692..11f5f9e 160000
--- a/compiler/coq
+++ b/compiler/coq
@@ -1 +1 @@
-Subproject commit 666a6921196c8bea334158985fb1bca61dee0fe5
+Subproject commit 11f5f9e762626272e8d339d8e6edad514e536041
-- 
1.7.10.4