Make [ELCtx_Alive] a coercion
Compare changes
- Jacques-Henri Jourdan authored
This still does not work for parsing, because of a bug in Coq. But at least for printing this is OK, and this is ready for when we will switch to 8.6pl1.
+ 15
− 10
@@ -98,16 +98,21 @@ End fn.
@@ -98,16 +98,21 @@ End fn.