corrects an error in the substitution of module paths inside tactics: objects of the form TacDynamic should not be left unchanged if their content is tagged with "constr".  This correction makes that setoid ring can now work with rings that were declared inside a module
corrects an error in the substitution of module paths inside tactics:
objects of the form TacDynamic should not be left unchanged if their content
is tagged with "constr".  This correction makes that setoid ring can
now work with rings that were declared inside a module

git-svn-id: a49b465eaba45b67e2e1e4e0b2c256a71f59fecb@9070 85f007b7-540e-0410-9357-904b9bb8a0f7

SamB/coq