From 0ef6d92f09e5001b2af94a3742dcef3af458f33a Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonygarnockjones@gmail.com>
Date: Mon, 28 Oct 2013 10:55:46 +0000
Subject: [PATCH] Simpler require in example.rkt

---
 minimart/examples/example.rkt | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

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