diff options
| author | Pierre-Marie Pédrot | 2020-07-09 11:23:11 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-08-06 12:33:58 +0200 |
| commit | a91d0e330070e50156aa3df37ee5557fb825ba57 (patch) | |
| tree | 37dba1941791dba417d01d2517fab6af312588b8 /engine/evd.ml | |
| parent | 29cc320bc3d54b9b4b8d78240db50cc8a878b033 (diff) | |
Remove several calls to Evarutil.new_pure_evar.
Diffstat (limited to 'engine/evd.ml')
0 files changed, 0 insertions, 0 deletions