From 5af448143e8d548a8d73d8ed613156e331ca0e0b Mon Sep 17 00:00:00 2001 From: xleroy Date: Fri, 21 Feb 2014 13:05:16 +0000 Subject: Updates for release 2.2 git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2415 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e --- doc/coq2html.mll | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc/coq2html.mll') diff --git a/doc/coq2html.mll b/doc/coq2html.mll index 4f04f98..329e9ea 100644 --- a/doc/coq2html.mll +++ b/doc/coq2html.mll @@ -230,7 +230,7 @@ let start_html_page modname = - + Module %s -- cgit v1.2.3