diff --git a/main.rkt b/main.rkt index d81e603..3e4bccf 100644 --- a/main.rkt +++ b/main.rkt @@ -138,6 +138,7 @@ ) (loop)))) + #:pool 'own ) ) )