From aeacd845f2645464df62c4095abbcb72980fe54a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Gr=C3=A9goire=20Henry?= Date: Mon, 16 Apr 2018 00:44:21 +0200 Subject: [PATCH] Shell: minor renaming --- src/lib_base/block_header.ml | 2 +- src/lib_base/block_header.mli | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/lib_base/block_header.ml b/src/lib_base/block_header.ml index 4583aa7d3..d021e83d4 100644 --- a/src/lib_base/block_header.ml +++ b/src/lib_base/block_header.ml @@ -14,7 +14,7 @@ type shell_header = { timestamp: Time.t ; validation_passes: int ; (* uint8 *) operations_hash: Operation_list_list_hash.t ; - fitness: MBytes.t list ; + fitness: Fitness.t ; context: Context_hash.t ; } diff --git a/src/lib_base/block_header.mli b/src/lib_base/block_header.mli index 3076307f7..1e8f54b2b 100644 --- a/src/lib_base/block_header.mli +++ b/src/lib_base/block_header.mli @@ -14,7 +14,7 @@ type shell_header = { timestamp: Time.t ; validation_passes: int ; (* uint8 *) operations_hash: Operation_list_list_hash.t ; - fitness: MBytes.t list ; + fitness: Fitness.t ; context: Context_hash.t ; }