From ab14dab1f8a612e3d854df89ae6d21c26ebb2945 Mon Sep 17 00:00:00 2001 From: Hugo Herbelin Date: Sun, 5 Apr 2020 18:20:36 +0200 Subject: Fixing #3451: coqdoc links for projections of tuples rather than for constructor. Moreover, the link to the constructor was hiding other contents of the tuple. --- test-suite/coqdoc/bug11194.html.out | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'test-suite/coqdoc/bug11194.html.out') diff --git a/test-suite/coqdoc/bug11194.html.out b/test-suite/coqdoc/bug11194.html.out index 6fc6533e59..56bf6eaaca 100644 --- a/test-suite/coqdoc/bug11194.html.out +++ b/test-suite/coqdoc/bug11194.html.out @@ -20,7 +20,7 @@
Record a_struct := { anum : nat }.
-Canonical Structure a_struct_0 := {| anum := 0|}.
+Canonical Structure a_struct_0 := {| anum := 0|}.
Definition rename_a_s_0 := a_struct_0.
Coercion some_nat := (@Some nat).
Definition rename_some_nat := some_nat.
-- cgit v1.2.3