mathlib: fix floorf indentation

This commit is contained in:
Matthias Grob
2019-05-24 09:56:12 +02:00
committed by Lorenz Meier
parent 710c52980e
commit 90b4c7c065