# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1345230968 14400
# Node ID f28bdd8414e0f29fad81f1be3c99ef0455911f78
# Parent  79190c225f1a419204c91b554b484d338974ac92
Proofreading pass through Chapter 5

diff -r 79190c225f1a -r f28bdd8414e0 src/Coinductive.v
--- a/src/Coinductive.v	Fri Aug 17 14:50:05 2012 -0400
+++ b/src/Coinductive.v	Fri Aug 17 15:16:08 2012 -0400
@@ -304,7 +304,7 @@
 
 Abort.
 
-(** First, we need to define a function that seems pointless on first glance. *)
+(** First, we need to define a function that seems pointless at first glance. *)
 
 Definition frob A (s : stream A) : stream A :=
   match s with