2016-09-08 21:13:10 +04:00
|
|
|
(**************************************************************************)
|
|
|
|
(* *)
|
|
|
|
(* Copyright (c) 2014 - 2016. *)
|
|
|
|
(* Dynamic Ledger Solutions, Inc. <contact@tezos.com> *)
|
|
|
|
(* *)
|
|
|
|
(* All rights reserved. No warranty, explicit or implicit, provided. *)
|
|
|
|
(* *)
|
|
|
|
(**************************************************************************)
|
|
|
|
|
2017-04-10 14:14:11 +04:00
|
|
|
let current = Storage.current_fitness
|
2017-02-25 21:01:27 +04:00
|
|
|
let increase ctxt =
|
2017-04-10 14:14:11 +04:00
|
|
|
let fitness = current ctxt in
|
|
|
|
Storage.set_current_fitness ctxt (Int64.succ fitness)
|