Skip to content

Commit 9e2f990

Browse files
committed
Remove unnecessary requires in terminal-ui.rkt
1 parent 103434d commit 9e2f990

File tree

1 file changed

+0
-2
lines changed

1 file changed

+0
-2
lines changed

supercompilation/cog/terminal-ui.rkt

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -12,11 +12,9 @@
1212
"workspace-model.rkt"
1313
gregr-misc/cursor
1414
gregr-misc/dict
15-
gregr-misc/generator
1615
gregr-misc/list
1716
gregr-misc/maybe
1817
gregr-misc/monad
19-
gregr-misc/record
2018
gregr-misc/sugar
2119
gregr-misc/terminal
2220
gregr-misc/ui

0 commit comments

Comments
 (0)