fix test in typed/proto.rkt

2021-04-16 15:13:58 -04:00
1 changed files with 3 additions and 3 deletions
--- a/racket/typed/proto.rkt
+++ b/racket/typed/proto.rkt
@ -646,9 +646,9 @@
    (check-equal? sn0 (set 'seller))
    (check-true (hash-has-key? seller# (set 'seller)))
    (check-true (hash-has-key? seller# (set 'seller 'fulfill)))
-    (check-equal? (hash-keys seller#)
-                  (list (set 'seller 'fulfill)
-                        (set 'seller)))
+    (check-equal? (list->set (hash-keys seller#))
+                  (set (set 'seller 'fulfill)
+                       (set 'seller)))
    (define st0 (hash-ref seller# (set 'seller)))
    (define transitions (state-transitions st0))
    (define quote-request