diff --git a/src/checker.ml b/src/checker.ml index 8a6008f8..506caa93 100644 --- a/src/checker.ml +++ b/src/checker.ml @@ -510,6 +510,7 @@ let[@inline] entrypoint_mark_for_liquidation (state, burrow_id: checker * burrow | None -> (Ligo.failwith error_GetEntrypointOptFailureBurrowSendTezTo : LigoOp.operation) in let ops = [op] in +(* (* Touch the oldest liquidation slice (if it exists). This should help the * system keep the number of liquidation slices close to linear in many * occasions. *) @@ -522,6 +523,7 @@ let[@inline] entrypoint_mark_for_liquidation (state, burrow_id: checker * burrow touch_liquidation_slice ops state_liquidation_auctions state_burrows state_parameters state_fa2_state leaf in ops, state_liquidation_auctions, state_burrows, state_parameters, state_fa2_state in +*) let state = { burrows = state_burrows;