Typo in contract converter
Description
There is a quite long living typo in typed -> untyped contract converter.
Steps to reproduce
Make a typed contract with LAMBDA x y
, where x /= y
.
Print it, in result that lambda appears as LAMBDA x x
.
Prerequisites (if needed):
Expected behaviour
Obvious.
Actual behaviour
LAMBDA
's second type argument is always equal to the first one.
Environment
- 0543e66e commit.