From b885b03ef6e41927738137a3deab5151f5772508 Mon Sep 17 00:00:00 2001 From: Vincent Botbol Date: Sat, 30 Jun 2018 13:42:37 +0200 Subject: [PATCH] Alpha: correctly apply recursion on backtrack operation application --- src/proto_alpha/lib_protocol/src/apply.ml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/proto_alpha/lib_protocol/src/apply.ml b/src/proto_alpha/lib_protocol/src/apply.ml index 290097fb3..2a7b3089c 100644 --- a/src/proto_alpha/lib_protocol/src/apply.ml +++ b/src/proto_alpha/lib_protocol/src/apply.ml @@ -681,7 +681,8 @@ let mark_backtracked results = operation_result = mark_manager_operation_result op.operation_result ; internal_operation_results = - List.map mark_internal_operation_results op.internal_operation_results}, rest) + List.map mark_internal_operation_results op.internal_operation_results}, + mark_contents_list rest) and mark_internal_operation_results (Internal_operation_result (kind, result)) = (Internal_operation_result (kind, mark_manager_operation_result result)) and mark_manager_operation_result