svn: r14768

2009-05-10 21:53:09 +00:00 · 2009-05-10 21:53:09 +00:00 · 01af999556
commit 01af999556
parent 029b0c07bd
1 changed files with 1 additions and 0 deletions
--- a/collects/tests/mzscheme/contract-test.ss
+++ b/collects/tests/mzscheme/contract-test.ss
@ -5092,6 +5092,7 @@ so that propagation occurs.
  (test-flat-contract '(string-len/c 3) "ab" "abc")
  (test-flat-contract 'natural-number/c 5 -1)
  (test-flat-contract 'natural-number/c #e3 #i3.0)
+  (test-flat-contract 'natural-number/c 0 -1)
  (test-flat-contract 'false/c #f #t)
  
  (test-flat-contract #t #t "x")