--- 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);