page-breaking: keep the degree of stretching in Line_details; issue 3341
authorKeith OHara <k-ohara5a5a@oco.net>
Wed, 13 Nov 2013 21:47:28 +0000 (13:47 -0800)
committerDavid Kastrup <dak@gnu.org>
Sat, 15 Feb 2014 16:31:29 +0000 (17:31 +0100)
The prioritization of cache_line_details() needs this information
to recognize the best configurations.

lily/page-breaking.cc

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