diff options
| author | Pierre-Marie Pédrot | 2015-09-26 19:50:41 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2015-09-26 23:32:04 +0200 |
| commit | f52826877059858fb3fcd4314c629ed63d90a042 (patch) | |
| tree | 4142e0e4cb4850230e2a79cabc8e1c16bba1e4c9 /stm | |
| parent | 39b2c31fed01073a4308e2e85d8a53ccecde73e7 (diff) | |
Hardening the API of evarmaps.
The evar counter has been moved from Evarutil to Evd, and all functions in
Evarutil now go through a dedicated primitive to create a fresh evar from
an evarmap.
Diffstat (limited to 'stm')
| -rw-r--r-- | stm/stm.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stm/stm.ml b/stm/stm.ml index 4a303f036e..f178c3ae4a 100644 --- a/stm/stm.ml +++ b/stm/stm.ml @@ -166,7 +166,7 @@ type visit = { step : step; next : Stateid.t } (* Parts of the system state that are morally part of the proof state *) let summary_pstate = [ Evarutil.meta_counter_summary_name; - Evarutil.evar_counter_summary_name; + Evd.evar_counter_summary_name; "program-tcc-table" ] type state = { system : States.state; |