Fixed typo

This commit is contained in:
William J. Bowman 2015-09-16 19:54:16 -04:00
parent a9e042967e
commit 0f5026aee0
No known key found for this signature in database
GPG Key ID: DDD48D26958F0D1A

View File

@ -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")