diff --git a/doc/stdlib/index.html b/doc/stdlib/index.html index 9562958f78..ff3a0aa733 100644 --- a/doc/stdlib/index.html +++ b/doc/stdlib/index.html @@ -127,7 +127,7 @@

Axiomatized OCaml Primitives

Uint63
OCaml 63-bit unsigned integers and axioms relating them to Z.
-
Sint63
+
Sint63
OCaml 63-bit signed integers and axioms relating them to Z.
Floats