Index: lily/accidental-placement.cc |
diff --git a/lily/accidental-placement.cc b/lily/accidental-placement.cc |
index f1be42c7c6868a77edb78929803b0fa1c6992869..bc1fa0b0a99ac75ea9314f30df5665f4b6485c00 100644 |
--- a/lily/accidental-placement.cc |
+++ b/lily/accidental-placement.cc |
@@ -399,7 +399,7 @@ position_apes (Grob *me, |
Real offset = -ape->horizontal_skylines_[RIGHT] |
.distance (left_skyline, 0.1); |
- if (isinf (offset)) |
+ if (std::isinf (offset)) |
offset = last_offset; |
else |
offset -= padding; |
@@ -416,7 +416,7 @@ position_apes (Grob *me, |
for (LEFT_and_RIGHT (d)) |
{ |
Real mh = ape->horizontal_skylines_[d].max_height (); |
- if (!isinf (mh)) |
+ if (!std::isinf (mh)) |
width.add_point (mh + offset); |
} |