-
Julien Signoles authored
fix function Translate.term_to_exp used by plug-in Cfp. This fix requires to call the type system with no context in some cases
15bd0c26
fix function Translate.term_to_exp used by plug-in Cfp. This fix requires to call the type system with no context in some cases