-
Sylvain Dailler authored
problems illustrated by the example committed. Trying to put second assert before use_th reports a parsing/typing error that cannot be understood by a normal user (in my opinion).
540cad55
problems illustrated by the example committed. Trying to put second assert before use_th reports a parsing/typing error that cannot be understood by a normal user (in my opinion).