Dumpglob.dump_modref : fix an assert failure

 The list obtained as second part of a Lib.split_modpath *can* be
 empty, for instance when mp is a MPfile, so calling on it
 Util.list_drop_last may fail.

 Can somebody knowledgeable in the dump mechanism (Jean-Marc ?)
 check that my simplistic fix is correct ?

 For information, I've ended on this failure while playing with
 a rather unnatural example: take a .v file, consider it as a
 module and apply it to a functor...



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

0 files changed, 0 insertions, 0 deletions