Correct type for processor-count.

This commit is contained in:
Eric Dobson 2013-10-29 21:04:27 -07:00
parent f09ebdb743
commit 83b43df455

View File

@ -546,7 +546,7 @@
[future (-poly (A) ((-> A) . -> . (-future A)))]
[touch (-poly (A) ((-future A) . -> . A))]
[processor-count (-> -Nat)]
[processor-count (-> -PosInt)]
[reverse (-poly (a) (-> (-lst a) (-lst a)))]