From 832d95afe4b4e3244b0e55e9c8d5af9acff41912 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Wed, 6 Aug 2014 21:25:41 -0700 Subject: [PATCH] Switch to typeless marketplace branch --- marketplace-support.rkt | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/marketplace-support.rkt b/marketplace-support.rkt index 20efe98..95ae3bd 100644 --- a/marketplace-support.rkt +++ b/marketplace-support.rkt @@ -19,12 +19,12 @@ ;;; along with marketplace-ssh. If not, see ;;; . -(require marketplace/sugar-untyped) +(require marketplace/sugar) (require marketplace/drivers/tcp) -(require marketplace/drivers/timer-untyped) +(require marketplace/drivers/timer) (require marketplace/drivers/event-relay) -(provide (all-from-out marketplace/sugar-untyped)) +(provide (all-from-out marketplace/sugar)) (provide (all-from-out marketplace/drivers/tcp)) -(provide (all-from-out marketplace/drivers/timer-untyped)) +(provide (all-from-out marketplace/drivers/timer)) (provide (all-from-out marketplace/drivers/event-relay))