Update src/API.mli

LPCIC · Oct 22, 2023 · 82b7036 · 82b7036
1 parent 3d4032e
commit 82b7036
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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} *)