[go: up one dir, main page]

Draft: Proto: fix protocol name in coq-of-ocaml config

Guillaume Claretrequested to merge
clarus1/tezos:guillaume-claret@remove-alpha-name-coq-of-ocaml into master

Context

This MR fixes the protocol name used in the configuration files for coq-of-ocaml to translate the protocol to Coq.

Manually testing the MR

The Coq translation is not critical as this is for development only. The CI should stay green.

Edited by Guillaume Claret

Merge request reports