Skip to content

Fixing float comparison warning on p0085 HOL

jc.rodrigues requested to merge fix-p0085-HOL into main

Revert "adapting positive float equality evaluations on p0085". Silencing warning about float equality comparison on p0085(...)HOL.f90

Merge request reports