Merge pull request #8796 from liurs1990:master

2026-07-29 15:23:05 +04:00 · 2017-05-26 12:04:56 +00:00
parent 11af7b7e55 cc3fdd005e
commit d962b3f499
1 changed files with 2 additions and 0 deletions
@@ -335,6 +335,8 @@ public:
            head = comp1->head;
            tail = comp2->tail;
            size = comp1->size + comp2->size;
+            // update the history size
+            history->size =size;

            CompHistory *h1 = history->child_;
            CompHistory *h2 = comp2->history;