From 82b70365c28423fcb1b5fc7f9e8f85afac533f71 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@inria.fr>
Date: Sun, 22 Oct 2023 15:05:21 +0100
Subject: [PATCH] Update src/API.mli

---
 src/API.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/API.mli b/src/API.mli
index a0ca55f9a..7139bdbb6 100644
--- a/src/API.mli
+++ b/src/API.mli
@@ -37,7 +37,7 @@ module Setup : sig
   (* State extensions see {!module:State} *)
   type state_descriptor
 
-  (* Other extensions see {!module:Quotations}  {!module:Compiler} *)
+  (* Other extensions see {!module:Quotations}  {!module:RawData} *)
   type hooks_descriptor
 
   (* Built-in predicates, see {!module:BuiltIn} *)