Re: GUB and mpfr/mpc

[Masamichi HOSODA]

>> There is this at the end of skyline.cc:
>> 
>>      // Should add during ver2.19 (to avoid an endless loop
>>      // when  merging identical skylines with a vertical segment)
>>      // if (end >= s2->front().end_) s2->pop_front();
> 
> I meant at the end of internal_merge_skyline() in skyline.cc. (Fatigue 
> strikes again.)
> 
>> make the code a lot less scaring.
> 
> scary (derp)

I tried the following patch, too.
But bad_alloc occurred.

```
--- a/lily/skyline.cc   2014-12-01 21:31:21.353083100 +0900
+++ b/lily/skyline.cc   2014-12-04 23:46:29.488379900 +0900
@@ -329,7 +329,7 @@
         s1->pop_front ();
       // Should add during ver2.19 (to avoid an endless loop
       // when  merging identical skylines with a vertical segment)
-      // if (end >= s2->front().end_) s2->pop_front();
+      if (end >= s2->front().end_) s2->pop_front();

       x = end;
     }
```