From 9e5a454cd78650a0c9e2a859693ee1af056b3fb9 Mon Sep 17 00:00:00 2001
From: Adam Megacz <megacz@cs.berkeley.edu>
Date: Mon, 7 Mar 2011 12:29:30 -0800
Subject: [PATCH] update reference to compiler/coq subproject

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

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