From 02a37e4ce260ca2fbd5b9db24009dbfab8fce0c5 Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonygarnockjones@gmail.com>
Date: Wed, 15 Feb 2012 10:41:05 -0500
Subject: [PATCH] Remove dep on codec

---
 os-timer.rkt | 1 -
 1 file changed, 1 deletion(-)

diff --git a/os-timer.rkt b/os-timer.rkt
index 3cbd1a1..c2df476 100644
--- 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")