1 files changed, 0 insertions, 1 deletions

diff --git a/mkfile b/mkfile
index 6878070..8e920c2 100644
--- a/mkfile
+++ b/mkfile
@@ -9,7 +9,6 @@ OFILES=\
 	builtins.$O\
 	prettyprint.$O\
 	misc.$O\
-	repl.$O\
 	flags.$O\
 	error.$O\
 	streams.$O\