Proto/Michelson: remove wrongly added line.
Context
A line was deleted in this commit:
It was then wrongly reinstated in this commit (rebase fail).
This request is just about deleting it again.
Checklist
-
Select suitable reviewers using the Reviewers
field below. -
Select as Assignee
the next person who should take action on that MR
Edited by Nicolas Ayache