From c1c0f157fe6e728ffb15d4a66e7ab76a2fd3925c Mon Sep 17 00:00:00 2001
From: Ben Greenman <benjaminlgreenman@gmail.com>
Date: Tue, 3 May 2016 01:31:57 -0400
Subject: [PATCH] [rebuttal] fix evaluator typo

---
 icfp-2016/implementation.scrbl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/icfp-2016/implementation.scrbl b/icfp-2016/implementation.scrbl
index ea6ba06..a7444fc 100644
--- a/icfp-2016/implementation.scrbl
+++ b/icfp-2016/implementation.scrbl
@@ -100,7 +100,7 @@ So, as hinted in @Secref{sec:vector},
 
 @racketblock[
 > (vector-length #(0 1 2))
-2
+3
 > (vector-length (vector-append #(A B)
                                 #(C D)))
 4