Skip to content
GitLab
Explore
Sign in
Raphaël Cauderlier
Sigmaid
Repository
sigmaid
coq_printer.ml
Find file
Blame
History
Permalink
[FIX] coq_printer.ml missed the renaming Ecoerce -> Expr_coerce
· 992e36f2
Raphaël Cauderlier
authored
Aug 25, 2015
992e36f2