From afb1968edf83ed2c957546922d034184540d31a6 Mon Sep 17 00:00:00 2001 From: Matthieu Sozeau Date: Thu, 5 Mar 2026 08:54:41 +0100 Subject: [PATCH] Fix Sint63 link in stdlib/index.html --- doc/stdlib/index.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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.