From d3dff2649eda79cd1dd072b07d52bf2f7ee792f9 Mon Sep 17 00:00:00 2001
From: Sergiu Ivanov <sivanov@colimite.fr>
Date: Tue, 22 Dec 2020 22:47:50 +0100
Subject: [PATCH] utils-untyped: Don't export dotit any more.

---
 utils-untyped.rkt | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/utils-untyped.rkt b/utils-untyped.rkt
index 12bbb6f..8ad2dc3 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?)]