Proto: minor cleanups (!78) · Merge requests · Metastate / tezos · GitLab

This is an archived project. Repository and other project resources are read-only.

Mehdi Bouaziz requested to merge nomadic-labs/tezos:mehdi@proto_minor_cleanups into proto-proposal Feb 27, 2020

Minor simplifications, mostly cherry-picked from branch https://gitlab.com/nomadic-labs/tezos/-/tree/guillaume-claret-coq-of-ocaml-simplifications by @clarus1