From f880e95528adc576a1326b63e8ebfe952b60adcf Mon Sep 17 00:00:00 2001
From: Ben Greenman <benjaminlgreenman@gmail.com>
Date: Tue, 3 May 2016 03:44:28 -0400
Subject: [PATCH] [rebuttal] typo: meant to use ~s

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

diff --git a/icfp-2016/usage.scrbl b/icfp-2016/usage.scrbl
index 7471651..d29a999 100644
--- a/icfp-2016/usage.scrbl
+++ b/icfp-2016/usage.scrbl
@@ -108,7 +108,7 @@ For all other syntax patterns, we perform the identity elaboration.
 \vspace{-4mm}
 }|
 @racketblock[
-> ⟦(printf "~a")⟧
+> ⟦(printf "~s")⟧
 ==> ⊥
 > ⟦(printf "~b" 2)⟧
 ==> (printf "~b" (2 :: Integer))