From f5ba9045c533634ed794cb05cf4357144d7498ba Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonygarnockjones@gmail.com>
Date: Wed, 8 Apr 2015 18:56:14 -0400
Subject: [PATCH] Correct typo

---
 run | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/run b/run
index bc08897..7bd7b84 100755
--- a/run
+++ b/run
@@ -8,7 +8,7 @@ if [ -z "$CONFIG" ]; then
 fi
 
 if [ ! -f configs/${CONFIG}.rkt ]; then
-    echo "Config ${CONFIG} not found: config/${CONFIG}.rkt not readable"
+    echo "Config ${CONFIG} not found: configs/${CONFIG}.rkt not readable"
     exit 1
 fi