diff --git a/utils.rkt b/utils.rkt index bf49462..1fbe20d 100644 --- a/utils.rkt +++ b/utils.rkt @@ -502,9 +502,9 @@ (check-equal? (pretty-print-set (set 'a 'b 1)) "1 a b"))) -;;; ========================= -;;; Additional list utilities -;;; ========================= +;;; ====================================== +;;; Additional list and hash map utilities +;;; ====================================== ;;; Collects labels for duplicate edges into a sets of labels. ;;;