When checking for emptiness, use Foo.is_empty instead of (=) Foo.empty

 Here Foo is Univ.constraints, Univ.universes, Evd.evar_map, Evd.Metamap

 Ok, all these structures are currently ocaml's maps or similar,
 with a unique empty value, and (=) can be used on them in this
 particular case. But using Foo.is_empty is safer : it will work
 even if the underlying representation changes. Example : for
 spotting non-legitimate use of (=) we might embed a type into
 a record with a functional field.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14614 85f007b7-540e-0410-9357-904b9bb8a0f7

0 files changed, 0 insertions, 0 deletions