diff --git a/utils-untyped.rkt b/utils-untyped.rkt index 00b6581..623dee3 100644 --- a/utils-untyped.rkt +++ b/utils-untyped.rkt @@ -10,8 +10,7 @@ (provide ;; Functions - (contract-out [dotit (-> graph? void?)] - [read-symbol-list (-> string? (listof symbol?))] + (contract-out [read-symbol-list (-> string? (listof symbol?))] [drop-first-last (-> string? string?)] [list-sets->list-strings (-> (listof (set/c any/c)) (listof string?))] [pretty-print-set-sets (-> (set/c (set/c symbol?) #:kind 'dont-care) string?)]