diff options
Diffstat (limited to 'lib/kDL_lens_result.ml')
| -rw-r--r-- | lib/kDL_lens_result.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/kDL_lens_result.ml b/lib/kDL_lens_result.ml index 4e29ad1..9792c41 100644 --- a/lib/kDL_lens_result.ml +++ b/lib/kDL_lens_result.ml @@ -84,7 +84,7 @@ let set_exn a v lens = | Error e -> failwith (show_lerr e) (* note: update can possibly be added to the definition of [lens] to increase - performance with more specialized implementations *) + performance with more specialized implementations *) let update f a lens = match lens.get a with |