From: Adam Megacz <megacz@cs.berkeley.edu>
Date: Mon, 7 Mar 2011 20:29:30 +0000 (-0800)
Subject: update reference to compiler/coq subproject
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=9e5a454cd78650a0c9e2a859693ee1af056b3fb9

update reference to compiler/coq subproject
---

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