page-breaking: keep the degree of stretching in Line_details; issue 3441

The prioritization of cache_line_details() needs this information
to recognize the best configurations.

diff --git a/lily/page-breaking.cc b/lily/page-breaking.cc
index 9a6f8f40f25c0edbe47f45ecde1780c2babc89b6..c4ca97f726e0115814cb078d4b2665c54212bedc 100644 (file)
--- a/lily/page-breaking.cc
+++ b/lily/page-breaking.cc
@@ -195,7 +195,6 @@ compress_lines (const vector<Line_details> &orig)
       else
         {
           ret.push_back (orig[i]);
-          ret.back ().force_ = 0;
         }
     }
   return ret;