Skip to content

Corrected typo

Basile Pesin requested to merge Vertmo/mi-cho-coq:typo-mao-map into master

I corrected a (small) type in the file src/michocoq/syntax.v : changed update_mao to update_map

Merge request reports