another more doc correction

(should have been part of the previous commit)
This commit is contained in:
Matthew Flatt 2011-08-03 08:39:59 -06:00
parent 6634332458
commit 22c8cdec0b

View File

@ -240,6 +240,8 @@ unit's imports using the exports of other linked units.
@interaction[ @interaction[
#:eval toy-eval #:eval toy-eval
(eval:alts (require "toy-factory-sig.rkt") (void))
(eval:alts (require "toy-store-sig.rkt") (void))
(eval:alts (require "store-specific-factory-unit.rkt") (void)) (eval:alts (require "store-specific-factory-unit.rkt") (void))
(define-compound-unit/infer toy-store+factory@ (define-compound-unit/infer toy-store+factory@
(import) (import)