Fix broken html.

8d56fb95 · Guillaume Melquiond · c27599ba · 8d56fb95
Commit 8d56fb95 authored Jun 23, 2018 by Guillaume Melquiond
--- 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