Correct module name

2014-05-02 20:30:14 -04:00 · 2014-05-02 20:30:14 -04:00 · bddd38ad08
parent 9d9116b1c4
commit bddd38ad08
1 changed files with 1 additions and 1 deletions
--- a/internal-latency.rkt
+++ b/internal-latency.rkt
@ -2,7 +2,7 @@
 ;; Measurement of message delivery latency.

 (require racket/match)
-(require "../../main.rkt")
+(require minimart)

 (struct ping (src dst timestamp) #:transparent)