From 82e3c5f978c5b241dc10be1c2b5537777365de24 Mon Sep 17 00:00:00 2001 From: =?utf8?q?=C3=86var=20Arnfj=C3=B6r=C3=B0=20Bjarmason?= Date: Thu, 14 Apr 2005 17:19:30 +0000 Subject: [PATCH] * => --- math/html.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/math/html.ml b/math/html.ml index 6a24b114ea..d9a4ef871c 100644 --- a/math/html.ml +++ b/math/html.ml @@ -19,10 +19,10 @@ let font_render lit = function | (_, FONT_UF) -> lit | (CTX_IT,FONT_RTI) -> raise Too_difficult_for_html | (_, FONT_RTI) -> lit - | (CTX_IT,FONT_RM) -> ""^lit^"" + | (CTX_IT,FONT_RM) -> ""^lit^"" | (_, FONT_RM) -> lit | (CTX_RM,FONT_IT) -> lit - | (_, FONT_IT) -> ""^lit^"" + | (_, FONT_IT) -> ""^lit^"" let rec html_render_flat ctx = function TEX_LITERAL (HTMLABLE (ft,_,sh))::r -> (html_liberal (); (font_render sh (ctx,ft))^html_render_flat ctx r) -- 2.20.1