fix grafting

LPCIC · Jan 26, 2024 · e541ca3 · e541ca3
1 parent bf2cf8d
commit e541ca3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/coq_elpi_builtins_synterp.mli b/src/coq_elpi_builtins_synterp.mli
@@ -59,7 +59,7 @@ val clause : clause Conversion.t
 type scope = ExecutionSite | CurrentModule | Library
 
 val scope : scope Conversion.t
-val grafting : ([ `After | `Before ] * string) Conversion.t
+val grafting : ([ `After | `Before | `Replace ] * string) Conversion.t
 val options : (Coq_elpi_HOAS.options, Data.constraints) ContextualConversion.ctx_readback
 val locate_module : BuiltIn.declaration
 val locate_module_type : BuiltIn.declaration