From c27599bad048556295a4a88730f2e1df102fc17f Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond <guillaume.melquiond@inria.fr>
Date: Sat, 23 Jun 2018 10:14:18 +0200
Subject: [PATCH] Fix unbalanced tag on end of file.
---
src/why3doc/doc_lexer.mll | 5 +++--
1 file changed, 3 insertions(+), 2 deletions(-)
diff --git a/src/why3doc/doc_lexer.mll b/src/why3doc/doc_lexer.mll
index ac974cebc..913438013 100644
--- a/src/why3doc/doc_lexer.mll
+++ b/src/why3doc/doc_lexer.mll
@@ -124,8 +124,9 @@ rule scan fmt empty delayed = parse
comment fmt true lexbuf;
pp_print_string fmt "</span>";
scan fmt false delayed lexbuf }
- | eof { if delayed <> "" then
- fprintf fmt "</pre>\n<div class=\"info\">%s</div>" delayed }
+ | eof { pp_print_string fmt "</pre>\n";
+ if delayed <> "" then
+ fprintf fmt "<div class=\"info\">%s</div>" delayed }
| ident as s
{ print_ident fmt lexbuf s;
scan fmt false delayed lexbuf }
--
GitLab