[deps] Fix Coq submodule hash after merging of #738 · ejgallego/coq-lsp@1439571

Commit

[deps] Fix Coq submodule hash after merging of #738

Browse files

ejgallego committed Jun 5, 2024

1 parent 3e2fbde commit 1439571

+3 −0		dev/ci/user-overlays/17393-ejgallego-skip_vofile.sh
+1 −0		dev/ci/user-overlays/19073-SkySkimmer-abstract-sort-poly.sh
+1 −0		dev/ci/user-overlays/19124-ejgallego-export_locate_result.sh
+11 −4		engine/uState.ml
+1 −0		engine/uState.mli
+2 −0		interp/constrintern.ml
+3 −2		stm/stm.ml
+6 −6		sysinit/coqinit.ml
+2 −1		sysinit/coqinit.mli
+15 −0		test-suite/bugs/bug_19072.v
+1 −0		vernac/comRewriteRule.ml
+1 −4		vernac/declare.ml
+5 −1		vernac/g_vernac.mlg
+54 −33		vernac/library.ml
+18 −1		vernac/library.mli
+7 −6		vernac/loadpath.ml
+7 −3		vernac/loadpath.mli
+13 −14		vernac/synterp.ml
+2 −0		vernac/synterp.mli
+2 −2		vernac/vernacentries.ml
+2 −1		vernac/vernacentries.mli
+11 −3		vernac/vernacinterp.ml
+5 −1		vernac/vernacinterp.mli