Fix indentation

This commit is contained in:
Benjamin Canou 2018-06-16 14:53:09 +02:00
parent 457fee326e
commit 820723f8d0

View File

@ -535,13 +535,13 @@ module Encoding = struct
| Contents_result
(Manager_operation_result
({ operation_result = Skipped _ ; _ } as op)) ->
Some (Manager_operation_result
{ op with operation_result = Skipped res_case.kind })
Some (Manager_operation_result
{ op with operation_result = Skipped res_case.kind })
| Contents_result
(Manager_operation_result
({ operation_result = Failed (_, errs) ; _ } as op)) ->
Some (Manager_operation_result
{ op with operation_result = Failed (res_case.kind, errs) })
Some (Manager_operation_result
{ op with operation_result = Failed (res_case.kind, errs) })
| Contents_result Ballot_result -> None
| Contents_result (Endorsements_result _) -> None
| Contents_result (Seed_nonce_revelation_result _) -> None