Continuing r12485-12486 and r12549 (cleaning around name generation)

- fixed misunderstanding of the role of nenv while simplifying code of
  occur_id in namegen.ml,
- documented the possible incompatibilites in CHANGES
- fixed output/Naming.v test, and fixed the count of misc. tests in
  test-suite/check.

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

1 files changed, 1 insertions, 0 deletions

diff --git a/test-suite/check b/test-suite/check
index c5636a820a..06df1a12cd 100755
--- a/test-suite/check
+++ b/test-suite/check
@@ -232,6 +232,7 @@ test_misc () {
     # Non-standard features
 
     # Test xml compilation
+    nbtests=`expr $nbtests + 1`
     printf "    xml..."
     COQ_XML_LIBRARY_ROOT=misc/xml $bincoqc -xml misc/berardi_test > /dev/null 2>&1
     if [ ! -d misc/xml ]; then