From 023932b423a4c48680742cf7af48e5e7756e0388 Mon Sep 17 00:00:00 2001
From: Basile Desloges <basile.desloges@cea.fr>
Date: Fri, 21 Feb 2020 16:03:13 +0100
Subject: [PATCH] [Doc] Fixed declared interface for Occurrence.Print
---
doc/developer/advance.tex | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/doc/developer/advance.tex b/doc/developer/advance.tex
index be59ebef5d0..3aa40e5f9d3 100644
--- a/doc/developer/advance.tex
+++ b/doc/developer/advance.tex
@@ -2938,9 +2938,9 @@ module Print =
\end{ocamlcode}
So it is a boolean parameter initialized by default to
\texttt{false}. The declared interface for this module is simply
-\scodeidx{Parameter\_sig}{Int}
+\scodeidx{Parameter\_sig}{Bool}
\begin{ocamlcode}
-module Print: Parameter_sig.Int
+module Print: Parameter_sig.Bool
\end{ocamlcode}
Another example is the parameter corresponding to the option
--
GitLab