keep definition of alpha_u even when unused

nunchaku-inria / nunchaku

Model finder for higher-order logic

https://nunchaku-inria.github.io/nunchaku/

BSD 2-Clause "Simplified" License

42 stars 3 forks source link

Closed ML44 closed 7 years ago

ML44 commented 8 years ago

La définition de a_u est virée au moment de la monorphisation.

Error: elim_infinite: universal type u does not have an approximation