From 8d56fb956ad9959f8883eef4014aafb1e9a8a69e Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond <guillaume.melquiond@inria.fr>
Date: Sat, 23 Jun 2018 10:21:14 +0200
Subject: [PATCH] Fix broken html.
---
stdlib/ieee_float.mlw | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/stdlib/ieee_float.mlw b/stdlib/ieee_float.mlw
index 60ec7d5e3..27a4306f4 100644
--- a/stdlib/ieee_float.mlw
+++ b/stdlib/ieee_float.mlw
@@ -26,7 +26,7 @@ module RoundingMode
<li>RTP : Round Towards Positive
<li>RTN : Round Towards Negative
<li>RTZ : Round Towards Zero
- </ul} *)
+ </ul>} *)
predicate to_nearest (m:mode) = m = RNE \/ m = RNA
end
--
GitLab