Shell: minor renaming
This commit is contained in:
parent
6cd40c3d08
commit
aeacd845f2
@ -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 ;
|
||||
}
|
||||
|
||||
|
@ -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 ;
|
||||
}
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user