From ff0fea7a07d85342586f65d68e9fdee0ff0c3d74 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Wed, 26 Oct 2016 17:35:47 +0200 Subject: STM: make ~valid state id non optional from APIs It used to be Stateid.initial by default. That is indeed a valid state id but very likely not the very best one (that would be the tip of the document). --- lib/stateid.mli | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) (limited to 'lib/stateid.mli') diff --git a/lib/stateid.mli b/lib/stateid.mli index cd8fddf0c..1d87a343b 100644 --- a/lib/stateid.mli +++ b/lib/stateid.mli @@ -26,9 +26,8 @@ val newer_than : t -> t -> bool (* Attaches to an exception the concerned state id, plus an optional * state id that is a valid state id before the error. - * Backtracking to the valid id is safe. - * The initial_state_id is assumed to be safe. *) -val add : Exninfo.info -> ?valid:t -> t -> Exninfo.info + * Backtracking to the valid id is safe. *) +val add : Exninfo.info -> valid:t -> t -> Exninfo.info val get : Exninfo.info -> (t * t) option type ('a,'b) request = { -- cgit v1.2.3