diff options
| author | Pierre-Marie Pédrot | 2014-09-21 22:43:37 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2014-09-21 22:45:59 +0200 |
| commit | 5ad8ad781f5869119e02763a4d2b0bcf7def9ef0 (patch) | |
| tree | dd2d65d0018bec3f0349e1cf029ce9e34316e718 /plugins | |
| parent | eaf864354c3fda9ddc1f03f0b1c7807b6fd44322 (diff) | |
Rewrite.apply_lemma is written in state passing style.
This removes a use of Evd.merge.
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions