Update src/API.mli

gares · web-flow · commit 310c491b0ec7 · 2023-10-22T14:58:22.000+01:00
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
 
-  (* Compiler extensions see {!module:Compile} *)
+  (* Syntactic extensions see {!module:Quotations} *)
   type hooks_descriptor
 
   (* Built-in predicates, see {!module:BuiltIn} *)
