From 9d069ab0f307e0e2440612b87a1a2adc754a2a08 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Wed, 4 Jul 2012 16:28:19 -0400 Subject: [PATCH] Oops - used or instead of or/c. --- os2.rkt | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/os2.rkt b/os2.rkt index baaace3..abfaffe 100644 --- a/os2.rkt +++ b/os2.rkt @@ -265,9 +265,9 @@ (define state/c (not/c transition?)) (define action/c action?) (define action-tree/c (flat-rec-contract action-tree/c - (or action/c - null? - (cons/c action-tree/c action-tree/c)))) + (or/c action/c + null? + (cons/c action-tree/c action-tree/c)))) (define make-add-role add-role) ;; no special treatment required at present (define (make-delete-role pre-eid [reason #f]) (delete-role pre-eid reason))