diff options
Diffstat (limited to 'toplevel/ide_slave.ml')
| -rw-r--r-- | toplevel/ide_slave.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/toplevel/ide_slave.ml b/toplevel/ide_slave.ml index 1bb6f3bcf..775ffee90 100644 --- a/toplevel/ide_slave.ml +++ b/toplevel/ide_slave.ml @@ -214,7 +214,7 @@ let evars () = if s <> "" then msg_info (str s); let pfts = Proof_global.give_me_the_proof () in let { Evd.it = all_goals ; sigma = sigma } = Proof.V82.subgoals pfts in - let exl = Evd.ExistentialMap.bindings (Evarutil.non_instantiated sigma) in + let exl = Evar.Map.bindings (Evarutil.non_instantiated sigma) in let map_evar ev = { Interface.evar_info = string_of_ppcmds (pr_evar ev); } in let el = List.map map_evar exl in Some el |