diff options
author | Enrico Tassi <Enrico.Tassi@inria.fr> | 2016-10-26 17:35:47 +0200 |
---|---|---|
committer | Enrico Tassi <Enrico.Tassi@inria.fr> | 2016-10-26 17:35:54 +0200 |
commit | ff0fea7a07d85342586f65d68e9fdee0ff0c3d74 (patch) | |
tree | 5cafa9e671b32acd09e3041139aec781ca9d9b83 /lib/stateid.ml | |
parent | 4a82de3b5b9d4a1a0830291b5b9a485bf2a16ded (diff) |
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).
Diffstat (limited to 'lib/stateid.ml')
-rw-r--r-- | lib/stateid.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/stateid.ml b/lib/stateid.ml index 500581a39..ae25735c5 100644 --- a/lib/stateid.ml +++ b/lib/stateid.ml @@ -22,7 +22,7 @@ let to_int id = id let newer_than id1 id2 = id1 > id2 let state_id_info : (t * t) Exninfo.t = Exninfo.make () -let add exn ?(valid = initial) id = +let add exn ~valid id = Exninfo.add exn state_id_info (valid, id) let get exn = Exninfo.get exn state_id_info |