diff options
Diffstat (limited to 'pretyping/evd.ml')
-rw-r--r-- | pretyping/evd.ml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/pretyping/evd.ml b/pretyping/evd.ml index 22f0c256d..c70c13d9e 100644 --- a/pretyping/evd.ml +++ b/pretyping/evd.ml @@ -96,8 +96,6 @@ module EvarInfoMap = struct type t = evar_info ExistentialMap.t * evar_info ExistentialMap.t let empty = ExistentialMap.empty, ExistentialMap.empty - let is_empty (def,undef) = - (ExistentialMap.is_empty def, ExistentialMap.is_empty undef) let to_list (def,undef) = (* Workaround for change in Map.fold behavior in ocaml 3.08.4 *) |