From f808e37e898ec691779ba7f5c85c828b342308e5 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Wed, 16 Jun 2021 21:36:09 +0200 Subject: [PATCH] Fix very stupid mistake in order.rkt --- implementations/racket/preserves/preserves/order.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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) [('() '()) '=] [('() _) '<]