Re: [Patch] Re: Fixing bugs 1844,1845

[Lars Gullik Bjønnes]

Martin Vermeer <[EMAIL PROTECTED]> writes:

| @@ -394,6 +395,10 @@
|       int unknown_tokens = 0;
|       int line = -1;
|       int begin_header_line = -1;
| +
| +     // Initialize parameters that may be/go lacking in header:
| +     params().branchlist().clear();
| +     params().options = string();

Use clear on options as well.

(or erase())


-- 
        Lgb