Skip to content

Silence a non-uniform coercion warning

Pierre Roux requested to merge proux1/rt-proofs:non_uniform_FP_to_JLFP into master

That coercion just cannot be uniform.

Merge request reports