diff options
| author |  Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2014-08-09 13:18:25 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2014-08-09 13:19:06 +0200 |
| commit | eec72af81a84f7b56b04027693684eebe139a607 (patch) | |
| tree | 795942dc666a904a716bfabe70fe3eeb5d1460ef /INSTALL.doc | |
| parent | ff884c172697c1452db535cdbd6babceb556c428 (diff) | |
Tentative performance fix for Evd.merge_uctx.
The levels added by the context are in general much fewer than the size of the
evarmap, so it is better to add them to the latter rather than doing it the
other way around.
Diffstat (limited to 'INSTALL.doc')
0 files changed, 0 insertions, 0 deletions