diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/coqdoc/output.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/coqdoc/output.ml b/tools/coqdoc/output.ml index a87dfb5b2e..10edb0b4db 100644 --- a/tools/coqdoc/output.ml +++ b/tools/coqdoc/output.ml @@ -783,7 +783,7 @@ module Html = struct printf " <td class=\"infrule\">%s</td>\n" (replace_spaces line)) in let end_assumption () = (printf " <td></td>\n"; - printf "</td>\n") in + printf "</tr>\n") in let rec print_assumptions hyps = match hyps with | [] -> start_assumption " " |