Commit 3b02de05 authored by Ralf Jung's avatar Ralf Jung
Browse files

Merge branch 'ralf/coercions' into 'master'

make Z.of_nat not a coercion inside std++

See merge request !257
parents 2d7f0238 5062a5fc
Pipeline #45959 passed with stage
in 4 minutes and 53 seconds