diff --git a/implementations/racket/preserves/preserves/order.rkt b/implementations/racket/preserves/preserves/order.rkt index 287a8ce..8092d9e 100644 --- a/implementations/racket/preserves/preserves/order.rkt +++ b/implementations/racket/preserves/preserves/order.rkt @@ -61,7 +61,7 @@ [else (match ta ;; == tb [7 (chain-order (preserve-order (record-label a) (record-label b)) - (preserve-order (record-fields a)) (preserve-order (record-fields b)))] + (preserve-order (record-fields a) (record-fields b)))] [8 (match* (a b) [('() '()) '=] [('() _) '<]