fixed PR 8190

svn: r3839

original commit: 967cd9ab14f632d68caf8b8e590862941c4a9fc4

collects/tests/mzscheme/contract-test.ss

@@ -4243,7 +4243,7 @@
   ;; (at the end, becuase they are slow w/out .zo files)
   ;;
   
-    (test/spec-passed
+  (test/spec-passed
    'provide/contract1
    '(let ()
       (eval '(module contract-test-suite1 mzscheme
@@ -4417,6 +4417,19 @@
                             [s-a 3])))
       (eval '(require n))))
   
+  (test/spec-passed
+   'provide/contract11
+   '(parameterize ([current-namespace (make-namespace)])
+      (eval '(module m mzscheme
+               (require (lib "contract.ss"))
+               (define x 1)
+               (provide/contract [rename x y integer?]
+                                 [rename x z integer?])))
+      (eval '(module n mzscheme
+               (require m)
+               (+ y z)))
+      (eval '(require n))))
+  
   ;; this test is broken, not sure why
   #|
   (test/spec-failed