--- TeXmacs-1.0.6.10-src/src/Typeset/Boxes/Modifier/change_boxes.cpp.qual 2007-05-14 14:10:20.000000000 +0200
+++ TeXmacs-1.0.6.10-src/src/Typeset/Boxes/Modifier/change_boxes.cpp 2007-05-14 14:10:33.000000000 +0200
@@ -324,7 +324,7 @@
position ();
finalize ();
}
- inline remember_box_rep::~remember_box_rep () {
+ inline ~remember_box_rep () {
if (logs_ptr != NULL) {
rectangles& logs= *logs_ptr;
logs= rectangles (rectangle (ox+x3, oy+y3, ox+x4, oy+y4), logs);