remove dependency on mred from a few libraries

svn: r9813
2008-05-12 12:57:42 +00:00 · 2008-05-12 12:57:42 +00:00 · 41665f7233
commit 41665f7233
parent c0d028e4bc
3 changed files with 3 additions and 3 deletions
--- a/collects/frtime/etc.ss
+++ b/collects/frtime/etc.ss
@ -1,5 +1,5 @@

-(module etc frtime
+(module etc frtime/frtime-lang-only
  (require (lib "main-collects.ss" "setup"))
  (require-for-syntax syntax/kerncase
 		      syntax/stx
--- a/collects/frtime/list.ss
+++ b/collects/frtime/list.ss
@ -1,4 +1,4 @@
-(module list frtime
+(module list frtime/frtime-lang-only
  
  (require (lifted mzlib/list sort
                   fifth sixth seventh eighth
--- a/collects/frtime/math.ss
+++ b/collects/frtime/math.ss
@ -3,7 +3,7 @@
 ;; math.ss: some extra math routines
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

-(module math "frtime.ss"
+(module math frtime/frtime-lang-only
  (provide e 
 	  pi 
 	  sqr