diff options
| author | Guillaume Melquiond | 2020-12-28 10:29:34 +0100 |
|---|---|---|
| committer | Guillaume Melquiond | 2020-12-28 11:26:54 +0100 |
| commit | aed648afd2cf8b09d67fb39c9672b71166089395 (patch) | |
| tree | ec0776c32d6ed1da21dc4a2f462b8f6ef09450df /test-suite | |
| parent | 52154bfa574b30c10a9fbd78584cca44b885dc60 (diff) | |
Fix broken HTML rendering of inference rules (fix #12783).
Diffstat (limited to 'test-suite')
| -rw-r--r-- | test-suite/coqdoc/verbatim.html.out | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test-suite/coqdoc/verbatim.html.out b/test-suite/coqdoc/verbatim.html.out index bf9f975ee8..070f80e771 100644 --- a/test-suite/coqdoc/verbatim.html.out +++ b/test-suite/coqdoc/verbatim.html.out @@ -90,7 +90,7 @@ verbatim <tr class="infruleassumption"> <td class="infrule">Γ ⊢ A ∨ B</td> <td></td> -</td> +</tr> </table></center> <div class="paragraph"> </div> |