Remove dep on codec

2012-02-15 10:41:05 -05:00 · 2012-02-15 10:41:05 -05:00 · 02a37e4ce2
parent 1f1eb5f548
commit 02a37e4ce2
1 changed files with 0 additions and 1 deletions
--- a/os-timer.rkt
+++ b/os-timer.rkt
@ -1,7 +1,6 @@
 #lang racket/base

 (require racket/match)
-(require "codec.rkt")
 (require "os-big-bang.rkt")
 (require "os-udp.rkt")