From 0f5026aee0ae4b3d7264bd6bfbbe401249cf86d9 Mon Sep 17 00:00:00 2001 From: "William J. Bowman" Date: Wed, 16 Sep 2015 19:54:16 -0400 Subject: [PATCH] Fixed typo --- stdlib/tactics/sartactics.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/stdlib/tactics/sartactics.rkt b/stdlib/tactics/sartactics.rkt index ae8c09a..df171aa 100644 --- a/stdlib/tactics/sartactics.rkt +++ b/stdlib/tactics/sartactics.rkt @@ -89,7 +89,7 @@ (list "Na." "How about instead I just delete all your work?" - "I don't think your ready yet."))) + "I don't think you're ready yet."))) (define-tactic (interactive ps) (printf "Starting interactive tactic session. Prepared to be sassed:~n") (printf "Type (quit) to quit.~n")