diff --git a/vendor/coq b/vendor/coq index d1763f03..f64f690c 160000 --- a/vendor/coq +++ b/vendor/coq @@ -1 +1 @@ -Subproject commit d1763f039edae16305a282ba7ea161fa5db13b20 +Subproject commit f64f690ca2cf6ad63bd5d3129fc83a4fdd28ef2a