diff options
Diffstat (limited to 'src/vyconf_pbt.mli')
| -rw-r--r-- | src/vyconf_pbt.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/vyconf_pbt.mli b/src/vyconf_pbt.mli index d9eb8ef..42a4af6 100644 --- a/src/vyconf_pbt.mli +++ b/src/vyconf_pbt.mli @@ -90,6 +90,7 @@ type request_rollback = { type request_load = { location : string; + cached : bool; format : request_config_format option; } @@ -315,6 +316,7 @@ val default_request_rollback : val default_request_load : ?location:string -> + ?cached:bool -> ?format:request_config_format option -> unit -> request_load |