X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Fcoq;h=11f5f9e762626272e8d339d8e6edad514e536041;hp=a764632d29c79933e8c54633831e4aac0fb204f6;hb=9e5a454cd78650a0c9e2a859693ee1af056b3fb9;hpb=f07b01e57f4c08a68e22eb81f25c865d1d7c15c3

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