diff --git a/minimart/examples/example.rkt b/minimart/examples/example.rkt
index 7f1308d..6a1dbf1 100644
--- a/minimart/examples/example.rkt
+++ b/minimart/examples/example.rkt
@@ -2,8 +2,7 @@
 
 (require racket/match)
 (require (only-in racket/port read-line-evt))
-(require "../core.rkt")
-(require "../ground.rkt")
+(require "../main.rkt")
 
 (define (r e s)
   (match e