diff --git a/collects/teachpack/htdp/convert.ss b/collects/teachpack/htdp/convert.ss index a205f83d5e..823aa27faa 100644 --- a/collects/teachpack/htdp/convert.ss +++ b/collects/teachpack/htdp/convert.ss @@ -1,3 +1,4 @@ -#cs(module convert mzscheme - (require (lib "convert.ss" "htdp")) - (provide (all-from (lib "convert.ss" "htdp")))) +#lang mzscheme + +(require htdp/convert) +(provide (all-from htdp/convert)) diff --git a/collects/teachpack/htdp/testing.ss b/collects/teachpack/htdp/testing.ss index fc8b1452d5..ae3e4d29f1 100644 --- a/collects/teachpack/htdp/testing.ss +++ b/collects/teachpack/htdp/testing.ss @@ -1,3 +1,3 @@ -(module testing mzscheme - (provide (all-from (lib "testing.ss" "htdp"))) - (require (lib "testing.ss" "htdp"))) +#lang scheme +(require htdp/testing) +(provide (all-from-out htdp/testing))