Micheline: replaces non tail-rec List.maps by List.rev + List.rev_map to fix #2969
This fixes issue #2969 (closed) by replacing non tail-rec List.map
by List.rev + List.rev_map
.
Edited by Jun Furuse
This fixes issue #2969 (closed) by replacing non tail-rec List.map
by List.rev + List.rev_map
.